The Complexity of Enumeration and Reliability Problems

From MaRDI portal
Revision as of 17:23, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3853129

DOI10.1137/0208032zbMath0419.68082DBLPjournals/siamcomp/Valiant79OpenAlexW2115826669WikidataQ55878545 ScholiaQ55878545MaRDI QIDQ3853129

Leslie G. Valiant

Publication date: 1979

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ed9b4ff3d634a448747b7d51f56abc81ef9d0054




Related Items (only showing first 100 items - show all)

A complexity theory for feasible closure propertiesOn locally most reliable three-terminal graphs of sparse graphsPolynomial time algorithm for an optimal stable assignment with multiple partnersOptimal inter-object correlation when replicating for availabilityCompleteness, approximability and exponential time results for counting problems with easy decision versionNew upper bound for the \#3-SAT problemOn the number of go positions on lattice graphsSatisfiability with index dependencyComputational complexity of counting problems on 3-regular planar graphsA Dichotomy Theorem for Polynomial EvaluationDempster's rule of combination is {\#}P-completeOn stability of a formal conceptCounting for satisfiability by inverting resolutionPhase transitions of PP-complete satisfiability problemsOn the complexity of finding shortest variable disjunction branch-and-bound proofsComputing convex hulls and counting integer points with \texttt{polymake}On the concentration of the number of solutions of random satisfiability formulasUnnamed ItemThe effect of combination functions on the complexity of relational Bayesian networksOn the connection between interval size functions and path countingOn Sampling Simple Paths in Planar Graphs According to Their LengthsA method to calculate the number of spanning connected unicyclic(bicyclic) subgraphs in 2-separable networksCounting dominating sets in some subclasses of bipartite graphsA general purpose algorithm for counting simple cycles and simple paths of any lengthOn the hardness of approximate reasoningA dichotomy for bounded degree graph homomorphisms with nonnegative weightsFrom 5-Pass $$\mathcal {MQ}$$-Based Identification to $$\mathcal {MQ}$$-Based SignaturesSolving projected model counting by utilizing treewidth and its limitsLifted discriminative learning of probabilistic logic programsThe approximability of multiple facility location on directed networks with random arc failuresTarget users' activation probability maximization with different seed set constraints in social networksEfficient and effective influence maximization in social networks: a hybrid-approachReliability of task graph schedules with transient and fail-stop failures: complexity and algorithmsBarnette's conjecture through the lens of the \(Mod_k P\) complexity classesFixed-parameter tractable algorithms for tracking shortest pathsA structured view on weighted counting with relations to counting, quantum computation and applicationsOn random generation of fuzzy measuresCounting near-perfect matchings on \(C_m \times C_n\) tori of odd order in the Maple systemExploiting independent subformulas: a faster approximation scheme for \(\# k\)-SATThe computational complexity of random serial dictatorshipPredecessor existence problems for finite discrete dynamical systemsLocation of zeros for the partition function of the Ising model on bounded degree graphsThe Power of Self-Reducibility: Selectivity, Information, and ApproximationComputational complexity of three-dimensional discrete tomography with missing dataRényi entropies as a measure of the complexity of counting problemsCook's versus Valiant's hypothesisOn variable-weighted exact satisfiability problemsThe complexity of two problems on arithmetic circuitsMaximal Matching and Path Matching Counting in Polynomial Time for Graphs of Bounded Clique WidthCounting truth assignments of formulas of bounded tree-width or clique-widthLee-Yang theorems and the complexity of computing averagesRumor correction maximization problem in social networksAnalysis of backtrack algorithms for listing all vertices and all faces of a convex polyhedron.Dichotomy results for fixed point counting in Boolean dynamical systemsOptimal testing for planted satisfiability problemsA novel algorithm on network reliability estimationNot all FPRASs are equal: demystifying FPRASs for DNF-countingThe complexity of planar Boolean \#CSP with complex weightsCounting complexity classes for numeric computations. II: Algebraic and semialgebraic setsCounting substrate cycles in topologically restricted metabolic networksLearning expressions and programs over monoidsComputational complexity of stochastic programming problemsCounting maximal independent sets in directed path graphsNetwork reliability and acyclic orientationsPermanental generating functions and sequential importance samplingCounting the number of solutions for instances of satisfiabilityA survey of some network reliability analysis and synthesis resultsExponential Time Complexity of Weighted Counting of Independent SetsThe Exponential Time Complexity of Computing the Probability That a Graph Is ConnectedMinimum budget for misinformation blocking in online social networksCommunity based acceptance probability maximization for target users on social networks: algorithms and analysisComputational aspects of mining maximal frequent patternsParameterized counting of partially injective homomorphismsPfaffian orientations and perfect matchings of scale-free networksPareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexityAn improved algorithm for finding all upper boundary points in a stochastic-flow networkCounting \(K_4\)-subdivisionsCounting Subgraphs in Relational Event GraphsFull complexity analysis of the diameter-constrained reliabilityCognitively-constrained learning from neighborsSolution-Graphs of Boolean Formulas and IsomorphismHigh-confidence estimation of small s -t reliabilities in directed acyclic networksPath puzzles: discrete tomography with a path constraint is hardCounting Hamiltonian cycles on quartic 4-vertex-connected planar graphsComputing the execution probability of jobs with replication in mixed-criticality schedulesClar structures vs Fries structures in hexagonal systemsOn the complexity of inconsistency measurementAbduction with probabilistic logic programming under the distribution semanticsSubtractive reductions and complete problems for counting complexity classesComputing the probability of getting infected: on the counting complexity of bootstrap percolationTime Windowed Data Structures for GraphsCombinatorial properties of Farey graphsThe complexity of solution-free sets of integers for general linear equationsBelief propagation on the random \(k\)-SAT modelComputing the \(K\)-terminal reliability of directed path graphsCounting Hamiltonian cycles in bipartite graphsOn the number of perfect matchings in the line graph of a traceable graphClassical simulation of quantum circuits by half Gauss sumsImproved inapproximability results for counting independent sets in the hard-core modelOn the usefulness of linear modular arithmetic in constraint programming







This page was built for publication: The Complexity of Enumeration and Reliability Problems