Baidu
map
筛选条件 共查询到33条结果
排序方式
Minimum Label s-t Cut has large integrality gaps

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

The Min Label s-t Cut problem is a fundamental problem in combinatorial optimization. This problem comes from many applications in real world, for exa......

Time-bounded termination analysis for probabilistic programs with delays

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

This paper investigates the model of probabilistic program with delays (PPD) that consists of a few program blocks. Performing each block has an addit......

Cell-like P systems with evolutional symport/antiport rules and membrane creation

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

Cell-like P systems with symport/antiport rules are computing models inspired by the conservation law, in the sense that they compute by changing the ......

Revisiting Deutsch-Jozsa algorithm

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

The Deutsch-Jozsa algorithm is essentially faster than any possible deterministic classical algorithm for solving a promise problem that is in fact a ......

Breakpoint distance and PQ-trees

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

The PQ-tree is a fundamental data structure that has also been used in comparative genomics to model ancestral genomes with some uncertainty. To quant......

Computational fuzzy extractors

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

Fuzzy extractors derive strong keys from noisy sources. Their security is usually defined information-theoretically, with gaps between known negative ......

Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

We define and explore a notion of unique prime factorization for constraint functions, and use this as a new tool to prove a complexity classification......

Granularity of wagers in games and the possibility of saving

期刊: INFORMATION AND COMPUTATION, 2020; 275 ()

In a casino where arbitrarily small bets are admissible, any betting strategy M can be modified into a saving strategy that, not only is successful on......

Event-based functional decomposition

期刊: INFORMATION AND COMPUTATION, 2020; 271 ()

Functional decomposition is the process of resolving a functional relationship into its constituent parts in such a way that the original function can......

Minimum fill-in: Inapproximability and almost tight lower bounds

期刊: INFORMATION AND COMPUTATION, 2020; 271 ()

Given an n x n sparse symmetric matrix with m nonzero entries, performing Gaussian elimination may turn some zeroes into nonzero values, so called fil......

Monotonous betting strategies in warped casinos

期刊: INFORMATION AND COMPUTATION, 2020; 271 ()

Suppose that the outcomes of a roulette table are not entirely random, in the sense that there exists a successful betting strategy. Is there a succes......

On blockwise symmetric matchgate signatures and higher domain #CSP

期刊: INFORMATION AND COMPUTATION, 2019; 264 ()

For any n >= 3 and q >= 3, we prove that the EQUALITY function (=(n)) on n variables over a domain of size q cannot be realized by matchgates un......

JIF:0.83

Counting hypergraph matchings up to uniqueness threshold

期刊: INFORMATION AND COMPUTATION, 2019; 266 ()

We study the problem of approximately counting matchings in hypergraphs of bounded maximum degree and maximum size of hyperedges. With an activity par......

JIF:0.83

Some lower bounds in parameterized AC(0)

期刊: INFORMATION AND COMPUTATION, 2019; 267 ()

We demonstrate some lower bounds for parameterized problems via parameterized classes corresponding to the classical AC(0). Among others, we derive su......

JIF:0.83

Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems

期刊: INFORMATION AND COMPUTATION, 2019; 268 ()

Checking whether a pushdown automaton is simulated - in the sense of a simulation pre-order - by a finite-state automaton is EXPTIME-complete. This pa......

JIF:0.83

共33条页码: 1/3页15条/页
Baidu
map
Baidu
map
Baidu
map