Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129): Difference between revisions

Latest revision as of 04:34, 22 July 2024

scientific article; zbMATH DE number 7184149

Language	Label	Description	Also known as
English	Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)	scientific article; zbMATH DE number 7184149

Statements

instance of

scholarly article

0 references

title

Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (English)

0 references

0 references

0 references

SIAM Journal on Computing

0 references

publication date

1 April 2020

0 references

full work available at URL

https://arxiv.org/abs/1909.06201

0 references

zbMATH Keywords

constraint satisfaction problem

0 references

omega-categorical structure

0 references

polymorphism

0 references

Siggers identity

0 references

pointwise convergence topology

0 references

dichotomy conjecture

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA

0 references

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

0 references

Q5144675

0 references

Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem

0 references

Q4993595

0 references

The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)

0 references

Q4993594

0 references

The wonderland of reflections

0 references

The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

0 references

Q3093852

0 references

Cores of Countably Categorical Structures

0 references

A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid

0 references

Non-dichotomies in Constraint Satisfaction Complexity

0 references

The Complexity of Phylogeny Constraint Satisfaction Problems

0 references

The complexity of temporal constraint satisfaction problems

0 references

A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

0 references

A Dichotomy for First-Order Reducts of Unary Structures

0 references

Constraint Satisfaction with Countable Homogeneous Templates

0 references

Reducts of Ramsey structures

0 references

Schaefer's Theorem for Graphs

0 references

Topological Birkhoff

0 references

PROJECTIVE CLONE HOMOMORPHISMS

0 references

Reconstructing the topology of clones

0 references

\(H\)-coloring dichotomy revisited

0 references

Classifying the Complexity of Constraints Using Finite Algebras

0 references

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

0 references

Uniform Birkhoff

0 references

Closed systems of functions and predicates

0 references

On the complexity of H-coloring

0 references

The structure of finite algebras

0 references

Q4336034

0 references

On the algebraic structure of combinatorial problems

0 references

Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.

0 references

Existence theorems for weakly symmetric operations

0 references

The weakest nontrivial idempotent equations

0 references

A strong Mal'cev condition for locally finite varieties omitting the unary type

0 references

Varieties Obeying Homotopy Laws

0 references

Identifiers

zbMATH Open document ID

1432.68169

0 references

DOI

10.1137/18M1216213

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5222129

@@ Property / Wikidata QID @@
+Q123195905
@@ Property / Wikidata QID: Q123195905 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06201
@@ Property / arXiv ID: 1909.06201 / rank @@
+Normal rank
@@ Property / cites work @@
+THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
+Normal rank
@@ Property / cites work @@
+Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures
+Normal rank
@@ Property / cites work @@
+Q5144675
@@ Property / cites work: Q5144675 / rank @@
+Normal rank
@@ Property / cites work @@
+Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
+Normal rank
@@ Property / cites work @@
+Q4993595
@@ Property / cites work: Q4993595 / rank @@
+Normal rank
@@ Property / cites work @@
+The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
+Normal rank
@@ Property / cites work @@
+Q4993594
@@ Property / cites work: Q4993594 / rank @@
+Normal rank
@@ Property / cites work @@
+The wonderland of reflections
@@ Property / cites work: The wonderland of reflections / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Cores of Countably Categorical Structures
@@ Property / cites work: Cores of Countably Categorical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid
+Normal rank
@@ Property / cites work @@
+Non-dichotomies in Constraint Satisfaction Complexity
+Normal rank
@@ Property / cites work @@
+The Complexity of Phylogeny Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
+Normal rank
@@ Property / cites work @@
+A Dichotomy for First-Order Reducts of Unary Structures
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction with Countable Homogeneous Templates
+Normal rank
@@ Property / cites work @@
+Reducts of Ramsey structures
@@ Property / cites work: Reducts of Ramsey structures / rank @@
+Normal rank
@@ Property / cites work @@
+Schaefer's Theorem for Graphs
@@ Property / cites work: Schaefer's Theorem for Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Birkhoff
@@ Property / cites work: Topological Birkhoff / rank @@
+Normal rank
@@ Property / cites work @@
+PROJECTIVE CLONE HOMOMORPHISMS
@@ Property / cites work: PROJECTIVE CLONE HOMOMORPHISMS / rank @@
+Normal rank
@@ Property / cites work @@
+Reconstructing the topology of clones
@@ Property / cites work: Reconstructing the topology of clones / rank @@
+Normal rank
@@ Property / cites work @@
+\(H\)-coloring dichotomy revisited
@@ Property / cites work: \(H\)-coloring dichotomy revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Uniform Birkhoff
@@ Property / cites work: Uniform Birkhoff / rank @@
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of H-coloring
@@ Property / cites work: On the complexity of H-coloring / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
+Normal rank
@@ Property / cites work @@
+Existence theorems for weakly symmetric operations
+Normal rank
@@ Property / cites work @@
+The weakest nontrivial idempotent equations
@@ Property / cites work: The weakest nontrivial idempotent equations / rank @@
+Normal rank
@@ Property / cites work @@
+A strong Mal'cev condition for locally finite varieties omitting the unary type
+Normal rank
@@ Property / cites work @@
+Varieties Obeying Homotopy Laws
@@ Property / cites work: Varieties Obeying Homotopy Laws / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5222129