Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Johan Thapper"'
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol Vol. 17 no. 1, Iss Graph Theory (2015)
Graph Theory
Externí odkaz:
https://doaj.org/article/5372346a63d94b86823d9b69948a989f
Autor:
Johan Thapper, Peter Jonsson
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2018, 715, pp.21-34. ⟨10.1016/j.tcs.2018.01.013⟩
Theoretical Computer Science, Elsevier, 2018, 715, pp.21-34. ⟨10.1016/j.tcs.2018.01.013⟩
The computational complexity of the constraint satisfaction problem (CSP) with semilinear relations over the reals has gained recent attraction. As a result, its complexity is known for all finite sets of semilinear relations containing the relation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e44f6d6ada3990870fc4a1f6ef0fcaec
https://hal-upec-upem.archives-ouvertes.fr/hal-01796723/document
https://hal-upec-upem.archives-ouvertes.fr/hal-01796723/document
Autor:
Johan Thapper, Stanislav Živný
Publikováno v:
SIAM Journal on Computing
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2017, 46 (4), pp.1241-1279. ⟨10.1137/16M1079245⟩
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2017, 46 (4), pp.1241-1279. ⟨10.1137/16M1079245⟩
We give a precise algebraic characterisation of the power of Sherali-Adams relaxations for solvability of valued constraint satisfaction problems to optimality. The condition is that of bounded width which has already been shown to capture the power
Autor:
Stanislav Zivny, Johan Thapper
Publikováno v:
Journal of the ACM (JACM)
Journal of the ACM (JACM), Association for Computing Machinery, 2016, 63 (4), pp.1-33. ⟨10.1145/2974019⟩
STOC
Journal of the ACM (JACM), Association for Computing Machinery, 2016, 63 (4), pp.1-33. ⟨10.1145/2974019⟩
STOC
Let Γ be a set of rational-valued functions on a fixed finite domain; such a set is called a finite-valued constraint language. The valued constraint satisfaction problem, VCSP(Γ), is the problem of minimising a function given as a sum of functions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5defff83b8ed6ff324c01fb27ba002c5
https://hal-upec-upem.archives-ouvertes.fr/hal-01796719
https://hal-upec-upem.archives-ouvertes.fr/hal-01796719
Autor:
Stanislav Živný, Johan Thapper
Publikováno v:
ACM Transactions on Computation Theory
ACM Transactions on Computation Theory, ACM, 2018, 10 (3), pp.1-22. ⟨10.1145/3201777⟩
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005087⟩
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, Iceland. IEEE, 〈10.1109/LICS.2017.8005087〉
ACM Transactions on Computation Theory, ACM, 2018, 10 (3), pp.1-22. ⟨10.1145/3201777⟩
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005087⟩
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, Iceland. IEEE, 〈10.1109/LICS.2017.8005087〉
It has been shown that for a general-valued constraint language $\Gamma$ the following statements are equivalent: (1) any instance of $\operatorname{VCSP}(\Gamma)$ can be solved to optimality using a constant level of the Sherali-Adams LP hierarchy;
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b9e396d57586985f4e3fe12cca7f283
Autor:
Peter Jonsson, Johan Thapper
Publikováno v:
Journal of Computer and System Sciences
Journal of Computer and System Sciences, Elsevier, 2016, 82 (5), pp.912-928. ⟨10.1016/j.jcss.2016.03.002⟩
Journal of Computer and System Sciences, Elsevier, 2016, 82 (5), pp.912-928. ⟨10.1016/j.jcss.2016.03.002⟩
A semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry, automata theor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e7caf4e810eca7db7a9155124780285
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-128917
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-128917
Autor:
Leandro Montero, Zsolt Tuza, Csilia Bujtás, Hakim El Maftouhi, Laurent Rosaz, N. Narayanan, Johan Thapper, Marek Karpinski, Yannis Manoussakis, Jean Alexandre Anglés D’Auriac
Publikováno v:
WALCOM: Algorithms and Computation ISBN: 9783319301389
WALCOM
WALCOM
Given a vertex-coloured graph, a dominating set is said to be tropical if every colour of the graph appears at least once in the set. Here, we study minimum tropical dominating sets from structural and algorithmic points of view. First, we prove that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::635d51f5a2c1410a50d34412c72295ce
https://doi.org/10.1007/978-3-319-30139-6_2
https://doi.org/10.1007/978-3-319-30139-6_2
Autor:
Johan Thapper, Peter Jonsson
Publikováno v:
Information Processing Letters. 110:351-355
We study minimisation of integer linear programs with positive right-hand sides. We show that such programs can be approximated within the maximum absolute row sum of the constraint matrix A whenever the variables are allowed to take values in N. Thi
Publikováno v:
Electronic Notes in Discrete Mathematics. 35:115-120
The instances of the Weighted Maximum H-Colourable Subgraph problem ( Max H- Col ) are edge-weighted graphs G and the objective is to find a subgraph of G that has maximal total edge weight, under the condition that the subgraph has a homomorphism to
Autor:
Zsolt Tuza, Jean Alexandre Anglés D’Auriac, Laurent Rosaz, Csilia Bujtás, N. Narayanan, Marek Karpinski, Yannis Manoussakis, Johan Thapper, Hakim El Maftouhi, Leandro Montero
Publikováno v:
Journal of Discrete Algorithms
Journal of Discrete Algorithms, Elsevier, 2018
Journal of Discrete Algorithms, Elsevier, 2018
Given a vertex-coloured graph, a dominating set is said to be tropical if every colour of the graph appears at least once in the set. Here, we study minimum tropical dominating sets from structural and algorithmic points of view. First, we prove that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fac14a678ae106dbd198fa4911adb687
http://arxiv.org/abs/1503.01008
http://arxiv.org/abs/1503.01008