Suchergebnisse - "Computer Science - Computational Complexity"
-
1
A Robust Version of Heged\H{u}s's Lemma, with Applications
ISSN: 2751-4838, 2751-4838Veröffentlicht: TheoretiCS Foundation e.V 01.03.2023Veröffentlicht in 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 …”
Volltext
Journal Article -
2
Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing
ISSN: 2751-4838, 2751-4838Veröffentlicht: TheoretiCS Foundation e.V 21.12.2022Veröffentlicht in 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 …”
Volltext
Journal Article -
3
Depth, Highness and DNR degrees
ISSN: 1365-8050, 1365-8050Veröffentlicht: Discrete Mathematics & Theoretical Computer Science 26.10.2017Veröffentlicht in 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 …”
Volltext
Journal Article -
4
The Identity Problem in the special affine group of $\mathbb{Z}^2
ISSN: 1860-5974, 1860-5974Veröffentlicht: Logical Methods in Computer Science e.V 09.06.2025Veröffentlicht in 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 …”
Volltext
Journal Article -
5
Optimal Trace Distance and Fidelity Estimations for Pure Quantum States
ISSN: 0018-9448, 1557-9654Veröffentlicht: Institute of Electrical and Electronics Engineers (IEEE) 01.12.2024Veröffentlicht in IEEE Transactions on Information Theory (01.12.2024)Volltext
Journal Article -
6
On convexity in split graphs: complexity of Steiner tree and domination
ISSN: 1382-6905, 1573-2886Veröffentlicht: Springer Science and Business Media LLC 12.02.2024Veröffentlicht in Journal of Combinatorial Optimization (12.02.2024)Volltext
Journal Article -
7
On the Complexity of Target Set Selection in Simple Geometric Networks
ISSN: 1365-8050, 1365-8050Veröffentlicht: Discrete Mathematics & Theoretical Computer Science 21.08.2024Veröffentlicht in 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 …”
Volltext
Journal Article -
8
Representing Matroids over the Reals is $\exists \mathbb R$-complete
ISSN: 1365-8050, 1462-7264, 1365-8050Veröffentlicht: DMTCS 20.08.2024Veröffentlicht in 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 …”
Volltext
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-8050Veröffentlicht: Discrete Mathematics & Theoretical Computer Science 22.03.2024Veröffentlicht in 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 …”
Volltext
Journal Article -
10
Conditional Dichotomy of Boolean Ordered Promise CSPs
ISSN: 2751-4838, 2751-4838Veröffentlicht: TheoretiCS Foundation e.V 25.01.2023Veröffentlicht in 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 …”
Volltext
Journal Article -
11
Graphs with at most two moplexes
ISSN: 0364-9024, 1097-0118Veröffentlicht: Wiley 08.05.2024Veröffentlicht in Journal of Graph Theory (08.05.2024)Volltext
Journal Article -
12
Representing polynomial of ST-CONNECTIVITY
ISSN: 1365-8050, 1365-8050Veröffentlicht: Discrete Mathematics & Theoretical Computer Science 29.04.2024Veröffentlicht in 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 …”
Volltext
Journal Article -
13
Polynomial kernels for edge modification problems towards block and strictly chordal graphs
ISSN: 1365-8050, 1462-7264, 1365-8050Veröffentlicht: DMTCS 01.05.2025Veröffentlicht in 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 …”
Volltext
Journal Article -
14
Sigma Partitioning: Complexity and Random Graphs
ISSN: 1365-8050, 1365-8050Veröffentlicht: Discrete Mathematics & Theoretical Computer Science 17.12.2018Veröffentlicht in 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 …”
Volltext
Journal Article -
15
The Complexity of Iterated Reversible Computation
ISSN: 2751-4838, 2751-4838Veröffentlicht: TheoretiCS Foundation e.V 26.12.2023Veröffentlicht in 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 …”
Volltext
Journal Article -
16
Token Swapping on Trees
ISSN: 1365-8050, 1365-8050Veröffentlicht: Discrete Mathematics & Theoretical Computer Science 2023Veröffentlicht in 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 …”
Volltext
Journal Article -
17
Popularity on the Roommate Diversity Problem
ISSN: 0304-3975Veröffentlicht: Springer Nature Switzerland 09.12.2023Veröffentlicht in Theoretical Computer Science (09.12.2023)Volltext
Journal Article -
18
Fine-grained Meta-Theorems for Vertex Integrity
ISSN: 1860-5974, 1860-5974Veröffentlicht: Logical Methods in Computer Science e.V 03.12.2024Veröffentlicht in 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 …”
Volltext
Journal Article -
19
Diversity of Answers to Conjunctive Queries
ISSN: 1860-5974, 1860-5974Veröffentlicht: Logical Methods in Computer Science e.V 01.01.2025Veröffentlicht in 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 …”
Volltext
Journal Article -
20
On the Complexity of Target Set Selection in Simple Geometric Networks
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 04.07.2024Veröffentlicht in 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 …”
Volltext
Paper