Výsledky vyhľadávania - "computer science - computational complexity"
-
1
A Robust Version of Heged\H{u}s's Lemma, with Applications
ISSN: 2751-4838, 2751-4838Vydavateľské údaje: TheoretiCS Foundation e.V 01.03.2023Vydané v TheoretiCS (01.03.2023)“…Heged\H{u}s's lemma is the following combinatorial statement regarding polynomials over finite fields. Over a field $\mathbb{F}$ of characteristic $p > 0$ and…”
Získať plný text
Journal Article -
2
Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing
ISSN: 2751-4838, 2751-4838Vydavateľské údaje: TheoretiCS Foundation e.V 21.12.2022Vydané v TheoretiCS (21.12.2022)“…A graph $G$ is called self-ordered (a.k.a asymmetric) if the identity permutation is its only automorphism. Equivalently, there is a unique isomorphism from…”
Získať plný text
Journal Article -
3
Depth, Highness and DNR degrees
ISSN: 1365-8050, 1365-8050Vydavateľské údaje: Discrete Mathematics & Theoretical Computer Science 26.10.2017Vydané v Discrete mathematics and theoretical computer science (26.10.2017)“…We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and…”
Získať plný text
Journal Article -
4
The Identity Problem in the special affine group of $\mathbb{Z}^2
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 09.06.2025Vydané v Logical methods in computer science (09.06.2025)“…We consider semigroup algorithmic problems in the Special Affine group $\mathsf{SA}(2, \mathbb{Z}) = \mathbb{Z}^2 \rtimes \mathsf{SL}(2, \mathbb{Z})$, which is…”
Získať plný text
Journal Article -
5
Optimal Trace Distance and Fidelity Estimations for Pure Quantum States
ISSN: 0018-9448, 1557-9654Vydavateľské údaje: Institute of Electrical and Electronics Engineers (IEEE) 01.12.2024Vydané v IEEE Transactions on Information Theory (01.12.2024)Získať plný text
Journal Article -
6
On convexity in split graphs: complexity of Steiner tree and domination
ISSN: 1382-6905, 1573-2886Vydavateľské údaje: Springer Science and Business Media LLC 12.02.2024Vydané v Journal of Combinatorial Optimization (12.02.2024)Získať plný text
Journal Article -
7
On the Complexity of Target Set Selection in Simple Geometric Networks
ISSN: 1365-8050, 1365-8050Vydavateľské údaje: Discrete Mathematics & Theoretical Computer Science 21.08.2024Vydané v Discrete mathematics and theoretical computer science (21.08.2024)“…We study the following model of disease spread in a social network. At first, all individuals are either infected or healthy. Next, in discrete rounds, the…”
Získať plný text
Journal Article -
8
Representing Matroids over the Reals is $\exists \mathbb R$-complete
ISSN: 1365-8050, 1462-7264, 1365-8050Vydavateľské údaje: DMTCS 20.08.2024Vydané v Discrete mathematics and theoretical computer science (20.08.2024)“…A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^{E}$ called the independent sets which…”
Získať plný text
Journal Article -
9
Corrigendum to "On the monophonic rank of a graph" [Discrete Math. Theor. Comput. Sci. 24:2 (2022) #3]
ISSN: 1365-8050, 1365-8050Vydavateľské údaje: Discrete Mathematics & Theoretical Computer Science 22.03.2024Vydané v Discrete mathematics and theoretical computer science (22.03.2024)“…In this corrigendum, we give a counterexample to Theorem 5.2 in "On the monophonic rank of a graph" [Discrete Math. Theor. Comput. Sci. 24:2 (2022) #3]. We…”
Získať plný text
Journal Article -
10
Conditional Dichotomy of Boolean Ordered Promise CSPs
ISSN: 2751-4838, 2751-4838Vydavateľské údaje: TheoretiCS Foundation e.V 25.01.2023Vydané v TheoretiCS (25.01.2023)“…Promise Constraint Satisfaction Problems (PCSPs) are a generalization of Constraint Satisfaction Problems (CSPs) where each predicate has a strong and a weak…”
Získať plný text
Journal Article -
11
Graphs with at most two moplexes
ISSN: 0364-9024, 1097-0118Vydavateľské údaje: Wiley 08.05.2024Vydané v Journal of Graph Theory (08.05.2024)Získať plný text
Journal Article -
12
Representing polynomial of ST-CONNECTIVITY
ISSN: 1365-8050, 1365-8050Vydavateľské údaje: Discrete Mathematics & Theoretical Computer Science 29.04.2024Vydané v Discrete mathematics and theoretical computer science (29.04.2024)“…We show that the coefficients of the representing polynomial of any monotone Boolean function are the values of the M\"obius function of an atomistic lattice…”
Získať plný text
Journal Article -
13
Polynomial kernels for edge modification problems towards block and strictly chordal graphs
ISSN: 1365-8050, 1462-7264, 1365-8050Vydavateľské údaje: DMTCS 01.05.2025Vydané v Discrete mathematics and theoretical computer science (01.05.2025)“…We consider edge modification problems towards block and strictly chordal graphs, where one is given an undirected graph $G = (V,E)$ and an integer $k \in…”
Získať plný text
Journal Article -
14
Sigma Partitioning: Complexity and Random Graphs
ISSN: 1365-8050, 1365-8050Vydavateľské údaje: Discrete Mathematics & Theoretical Computer Science 17.12.2018Vydané v Discrete mathematics and theoretical computer science (17.12.2018)“…A $\textit{sigma partitioning}$ of a graph $G$ is a partition of the vertices into sets $P_1, \ldots, P_k$ such that for every two adjacent vertices $u$ and…”
Získať plný text
Journal Article -
15
The Complexity of Iterated Reversible Computation
ISSN: 2751-4838, 2751-4838Vydavateľské údaje: TheoretiCS Foundation e.V 26.12.2023Vydané v TheoretiCS (26.12.2023)“…We study a class of functional problems reducible to computing $f^{(n)}(x)$ for inputs $n$ and $x$, where $f$ is a polynomial-time bijection. As we prove, the…”
Získať plný text
Journal Article -
16
Token Swapping on Trees
ISSN: 1365-8050, 1365-8050Vydavateľské údaje: Discrete Mathematics & Theoretical Computer Science 2023Vydané v Discrete mathematics and theoretical computer science (2023)“…The input to the token swapping problem is a graph with vertices $v_1, v_2, \ldots, v_n$, and $n$ tokens with labels $1, 2, \ldots, n$, one on each vertex. The…”
Získať plný text
Journal Article -
17
Popularity on the Roommate Diversity Problem
ISSN: 0304-3975Vydavateľské údaje: Springer Nature Switzerland 09.12.2023Vydané v Theoretical Computer Science (09.12.2023)Získať plný text
Journal Article -
18
Fine-grained Meta-Theorems for Vertex Integrity
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 03.12.2024Vydané v Logical methods in computer science (03.12.2024)“…Vertex Integrity is a graph measure which sits squarely between two more well-studied notions, namely vertex cover and tree-depth, and that has recently gained…”
Získať plný text
Journal Article -
19
Diversity of Answers to Conjunctive Queries
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025Vydané v Logical methods in computer science (01.01.2025)“…Enumeration problems aim at outputting, without repetition, the set of solutions to a given problem instance. However, outputting the entire solution set may…”
Získať plný text
Journal Article -
20
On the Complexity of Target Set Selection in Simple Geometric Networks
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.07.2024Vydané v arXiv.org (04.07.2024)“…We study the following model of disease spread in a social network. At first, all individuals are either infected or healthy. Next, in discrete rounds, the…”
Získať plný text
Paper