Results 11 to 20 of about 19,138 (262)
Parameterized Proof Complexity [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stefan S. Dantchev +2 more
openaire +2 more sources
Parameterized Complexity of Diameter [PDF]
AbstractDiameter—the task of computing the length of a longest shortest path—is a fundamental graph problem. Assuming the Strong Exponential Time Hypothesis, there is no $$O(n^{1.99})$$ O ( n 1.99
Bentert, Matthias, Nichterlein , André
openaire +4 more sources
On the parameterized complexity of Grid Contraction
For a family of graphs $\mathcal{G}$, the $\mathcal{G}$-\textsc{Contraction} problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $F \subseteq E(G)$ of size at most $k$ such that $G/F$ belongs to $\mathcal{G}$. Here, $G/F$ is the graph obtained from $G$ by contracting all the edges in $F$. In this article,
Saket Saurabh 0001 +2 more
openaire +6 more sources
Quantum Parameterized Complexity
23 pages, 1 ...
Michael J. Bremner +5 more
openaire +2 more sources
Parameterized Complexity of Broadcasting in Graphs
The task of the broadcast problem is, given a graph G and a source vertex s, to compute the minimum number of rounds required to disseminate a piece of information from s to all vertices in the graph. It is assumed that, at each round, an informed vertex can transmit the information to at most one of its neighbors.
Fomin, Fedor +2 more
openaire +5 more sources
Parameterized Complexity of Gerrymandering
In a representative democracy, the electoral process involves partitioning geographical space into districts which each elect a single representative. These representatives craft and vote on legislation, incentivizing political parties to win as many districts as possible (ideally a plurality). Gerrymandering is the process by which district boundaries
Andrew Fraser +2 more
openaire +2 more sources
Parameterized complexity of reconfiguration of atoms
Abstract Our work is motivated by the challenges presented in preparing arrays of atoms for use in quantum simulation. The recently-developed process of loading atoms into traps results in approximately half of the traps being filled. To consolidate the atoms so that they form a dense and regular arrangement, such as all locations in a grid ...
Alexandre Cooper +3 more
openaire +2 more sources
The parameterized space complexity of model-checking bounded variable first-order logic [PDF]
The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds true in a given relational structure (database); the parameter is the length of the sentence.
Yijia Chen +2 more
doaj +1 more source
Parameterized learning complexity [PDF]
We describe three applications in computational learning theory of techniques and ideas recently introduced in the study of parameterized computational complexity. (1) Using parameterized problem reducibilities, we show that P -sized DNF (CNF) formulas can be exactly learned in time polynomial in the number of variables by extended equivalence queries ...
Rodney G. Downey +2 more
openaire +1 more source
On the Parameterized Complexity of Compact Set Packing. [PDF]
AbstractThe Set Packing problem is, given a collection of sets $$\mathcal {S}$$ S over a ground set U, to find a maximum collection of sets that are pairwise disjoint. The problem is among the most fundamental NP-hard optimization problems that have been studied extensively in various computational regimes.
Gadekar A.
europepmc +5 more sources

