Výsledky vyhledávání - "Exponential-time algorithm"
-
1
Faster winner determination algorithms for (Colored) Arc Kayles
ISSN: 0022-0000Vydáno: Elsevier Inc 01.03.2026Vydáno v Journal of computer and system sciences (01.03.2026)“…Arc Kayles and Colored Arc Kayles are generalized versions of well-studied combinatorial games Cram and Domineering, respectively. In Arc Kayles, two players…”
Získat plný text
Journal Article -
2
Certifying Euclidean Sections and Finding Planted Sparse Vectors Beyond the \sqrt Dimension Threshold
ISSN: 2575-8454Vydáno: IEEE 27.10.2024Vydáno v Proceedings / annual Symposium on Foundations of Computer Science (27.10.2024)“…We consider the task of certifying that a random d-dimensional subspace X in \mathbb{R}^{\gamma} is well-spread - every vec-tor \chi\in X satisfies…”
Získat plný text
Konferenční příspěvek -
3
Biased initialization in random walk algorithms for k -SAT: a generalization of Schöning's method
ISSN: 1744-5760, 1744-5779Vydáno: 04.07.2025Vydáno v International journal of parallel, emergent and distributed systems (04.07.2025)Získat plný text
Journal Article -
4
Exact mean computation in dynamic time warping spaces
ISSN: 1384-5810, 1573-756XVydáno: New York Springer US 01.01.2019Vydáno v Data mining and knowledge discovery (01.01.2019)“…Averaging time series under dynamic time warping is an important tool for improving nearest-neighbor classifiers and formulating centroid-based clustering. The…”
Získat plný text
Journal Article -
5
Winner Determination Algorithms for Graph Games with Matching Structures
ISSN: 0178-4617, 1432-0541Vydáno: New York Springer US 01.03.2024Vydáno v Algorithmica (01.03.2024)“…Cram , Domineering , and Arc Kayles are well-studied combinatorial games. They are interpreted as edge-selecting-type games on graphs, and the selected edges…”
Získat plný text
Journal Article -
6
Reconstructing Phylogenetic Level-1 Networks from Nondense Binet and Trinet Sets
ISSN: 0178-4617, 1432-0541Vydáno: New York Springer US 01.01.2017Vydáno v Algorithmica (01.01.2017)“…Binets and trinets are phylogenetic networks with two and three leaves, respectively. Here we consider the problem of deciding if there exists a binary level-1…”
Získat plný text
Journal Article -
7
A program to compute the soft Robinson–Foulds distance between phylogenetic networks
ISSN: 1471-2164, 1471-2164Vydáno: London BioMed Central 14.03.2017Vydáno v BMC genomics (14.03.2017)“…Background Over the past two decades, phylogenetic networks have been studied to model reticulate evolutionary events. The relationships among phylogenetic…”
Získat plný text
Journal Article -
8
An exponential time 2-approximation algorithm for bandwidth
ISSN: 0304-3975, 1879-2294Vydáno: Elsevier B.V 04.11.2013Vydáno v Theoretical computer science (04.11.2013)“…The bandwidth of a graph G on n vertices is the minimum b such that the vertices of G can be labeled from 1 to n such that the labels of every pair of adjacent…”
Získat plný text
Journal Article -
9
Subset feedback vertex sets in chordal graphs
ISSN: 1570-8667, 1570-8675Vydáno: Elsevier B.V 01.05.2014Vydáno v Journal of discrete algorithms (Amsterdam, Netherlands) (01.05.2014)“…Given a graph G=(V,E) and a set S⊆V, a set U⊆V is a subset feedback vertex set of (G,S) if no cycle in G[V∖U] contains a vertex of S. The Subset Feedback…”
Získat plný text
Journal Article -
10
Fast exact algorithm for L(2,1)-labeling of graphs
ISSN: 0304-3975, 1879-2294Vydáno: Elsevier B.V 23.09.2013Vydáno v Theoretical computer science (23.09.2013)“…An L(2,1)-labeling of a graph is a mapping from its vertex set into nonnegative integers such that the labels assigned to adjacent vertices differ by at least…”
Získat plný text
Journal Article -
11
Solving SCS for bounded length strings in fewer than 2n steps
ISSN: 0020-0190, 1872-6119Vydáno: Elsevier B.V 01.08.2014Vydáno v Information processing letters (01.08.2014)“…It is still not known whether a shortest common superstring (SCS) of n input strings can be found faster than in O⁎(2n) time (O⁎(⋅) suppresses polynomial…”
Získat plný text
Journal Article -
12
Parameterized Algorithms for Non-separating Trees and Branchings in Digraphs
ISSN: 0178-4617, 1432-0541Vydáno: New York Springer US 01.09.2016Vydáno v Algorithmica (01.09.2016)“…A well known result in graph algorithms, due to Edmonds, states that given a digraph D and a positive integer ℓ , we can test whether D contains ℓ arc-disjoint…”
Získat plný text
Journal Article -
13
Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem
ISSN: 1526-1719, 1526-1719Vydáno: 2011Vydáno v Journal of graph algorithms and applications (2011)Získat plný text
Journal Article -
14
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between
ISSN: 0022-0000, 1090-2724Vydáno: Elsevier Inc 2012Vydáno v Journal of computer and system sciences (2012)“…In this paper we introduce “hybrid” Max 2-CSP formulas consisting of “simple clauses”, namely conjunctions and disjunctions of pairs of variables, and general…”
Získat plný text
Journal Article -
15
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
ISSN: 1432-4350, 1433-0490Vydáno: New York Springer US 01.08.2015Vydáno v Theory of computing systems (01.08.2015)“…We present a moderately exponential time and polynomial space algorithm for sparse instances of Max SAT. Our algorithms run in time of the form O 2 ( 1 − μ ( c…”
Získat plný text
Journal Article -
16
On Independent Sets and Bicliques in Graphs
ISSN: 0178-4617, 1432-0541Vydáno: New York Springer-Verlag 01.04.2012Vydáno v Algorithmica (01.04.2012)“…Bicliques of graphs have been studied extensively, partially motivated by the large number of applications. In this paper we improve Prisner’s upper bound on…”
Získat plný text
Journal Article -
17
Exact Algorithms for L(2,1)-Labeling of Graphs
ISSN: 0178-4617, 1432-0541Vydáno: New York Springer-Verlag 01.02.2011Vydáno v Algorithmica (01.02.2011)“…The notion of distance constrained graph labelings, motivated by the Frequency Assignment Problem, reads as follows: A mapping from the vertex set of a graph G…”
Získat plný text
Journal Article -
18
New algorithms for Exact Satisfiability
ISSN: 0304-3975, 1879-2294Vydáno: Amsterdam Elsevier B.V 28.02.2005Vydáno v Theoretical computer science (28.02.2005)“…The Exact Satisfiability problem is to determine if a CNF-formula has a truth assignment satisfying exactly one literal in each clause; Exact 3-Satisfiability…”
Získat plný text
Journal Article -
19
Computing branchwidth via efficient triangulations and blocks
ISSN: 0166-218X, 1872-6771Vydáno: Kidlington Elsevier B.V 28.06.2009Vydáno v Discrete Applied Mathematics (28.06.2009)“…Minimal triangulations and potential maximal cliques are the main ingredients for a number of polynomial time algorithms on different graph classes computing…”
Získat plný text
Journal Article Konferenční příspěvek -
20
A Randomized Algorithm for 3-SAT
ISSN: 1661-8270, 1661-8289Vydáno: Basel Birkhäuser-Verlag 01.06.2010Vydáno v Mathematics in computer science (01.06.2010)“…In this work we propose and analyze a simple randomized algorithm for 3-SAT (i.e. an algorithm to find a satisfiable assignment for a Boolean formula in…”
Získat plný text
Journal Article