Matches in SemOpenAlex for { <https://semopenalex.org/work/W3010147380> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3010147380 endingPage "105" @default.
- W3010147380 startingPage "67" @default.
- W3010147380 abstract "Vizing's conjecture (open since 1968) relates the product of the domination numbers of two graphs to the domination number of their Cartesian product graph. In this paper, we formulate Vizing's conjecture as a Positivstellensatz existence question. In particular, we select classes of graphs according to their number of vertices and their domination number and encode the conjecture as an ideal/polynomial pair such that the polynomial is non-negative on the variety associated with the ideal if and only if the conjecture is true for this graph class. Using semidefinite programming we obtain numeric sum-of-squares certificates, which we then manage to transform into symbolic certificates confirming non-negativity of our polynomials. Specifically, we obtain exact low-degree sparse sum-of-squares certificates for particular classes of graphs. The obtained certificates allow generalizations for larger graph classes. Besides computational verification of these more general certificates, we also present theoretical proofs as well as conjectures and questions for further investigations." @default.
- W3010147380 created "2020-03-13" @default.
- W3010147380 creator A5004179480 @default.
- W3010147380 creator A5005906505 @default.
- W3010147380 creator A5033085976 @default.
- W3010147380 creator A5070521757 @default.
- W3010147380 date "2021-11-01" @default.
- W3010147380 modified "2023-09-27" @default.
- W3010147380 title "Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares" @default.
- W3010147380 cites W1596781093 @default.
- W3010147380 cites W1976596704 @default.
- W3010147380 cites W1990941137 @default.
- W3010147380 cites W2045652876 @default.
- W3010147380 cites W2069288321 @default.
- W3010147380 cites W2072414205 @default.
- W3010147380 cites W2078561631 @default.
- W3010147380 cites W2091200007 @default.
- W3010147380 cites W2106138233 @default.
- W3010147380 cites W2153918277 @default.
- W3010147380 cites W2264065105 @default.
- W3010147380 cites W2912522929 @default.
- W3010147380 cites W2972011300 @default.
- W3010147380 cites W3105023213 @default.
- W3010147380 doi "https://doi.org/10.1016/j.jsc.2021.01.003" @default.
- W3010147380 hasPublicationYear "2021" @default.
- W3010147380 type Work @default.
- W3010147380 sameAs 3010147380 @default.
- W3010147380 citedByCount "2" @default.
- W3010147380 countsByYear W30101473802022 @default.
- W3010147380 crossrefType "journal-article" @default.
- W3010147380 hasAuthorship W3010147380A5004179480 @default.
- W3010147380 hasAuthorship W3010147380A5005906505 @default.
- W3010147380 hasAuthorship W3010147380A5033085976 @default.
- W3010147380 hasAuthorship W3010147380A5070521757 @default.
- W3010147380 hasBestOaLocation W30101473801 @default.
- W3010147380 hasConcept C101901036 @default.
- W3010147380 hasConcept C105795698 @default.
- W3010147380 hasConcept C108710211 @default.
- W3010147380 hasConcept C114614502 @default.
- W3010147380 hasConcept C118615104 @default.
- W3010147380 hasConcept C126255220 @default.
- W3010147380 hasConcept C2524010 @default.
- W3010147380 hasConcept C2780990831 @default.
- W3010147380 hasConcept C33923547 @default.
- W3010147380 hasConcept C49847556 @default.
- W3010147380 hasConcept C65236422 @default.
- W3010147380 hasConcept C90673727 @default.
- W3010147380 hasConceptScore W3010147380C101901036 @default.
- W3010147380 hasConceptScore W3010147380C105795698 @default.
- W3010147380 hasConceptScore W3010147380C108710211 @default.
- W3010147380 hasConceptScore W3010147380C114614502 @default.
- W3010147380 hasConceptScore W3010147380C118615104 @default.
- W3010147380 hasConceptScore W3010147380C126255220 @default.
- W3010147380 hasConceptScore W3010147380C2524010 @default.
- W3010147380 hasConceptScore W3010147380C2780990831 @default.
- W3010147380 hasConceptScore W3010147380C33923547 @default.
- W3010147380 hasConceptScore W3010147380C49847556 @default.
- W3010147380 hasConceptScore W3010147380C65236422 @default.
- W3010147380 hasConceptScore W3010147380C90673727 @default.
- W3010147380 hasFunder F4320315472 @default.
- W3010147380 hasFunder F4320321181 @default.
- W3010147380 hasFunder F4320335254 @default.
- W3010147380 hasLocation W30101473801 @default.
- W3010147380 hasLocation W30101473802 @default.
- W3010147380 hasLocation W30101473803 @default.
- W3010147380 hasOpenAccess W3010147380 @default.
- W3010147380 hasPrimaryLocation W30101473801 @default.
- W3010147380 hasRelatedWork W1602143767 @default.
- W3010147380 hasRelatedWork W1999551182 @default.
- W3010147380 hasRelatedWork W2191376159 @default.
- W3010147380 hasRelatedWork W2740334431 @default.
- W3010147380 hasRelatedWork W2950207099 @default.
- W3010147380 hasRelatedWork W2962815439 @default.
- W3010147380 hasRelatedWork W4212808623 @default.
- W3010147380 hasRelatedWork W4285592720 @default.
- W3010147380 hasRelatedWork W4292734940 @default.
- W3010147380 hasRelatedWork W1842855190 @default.
- W3010147380 hasVolume "107" @default.
- W3010147380 isParatext "false" @default.
- W3010147380 isRetracted "false" @default.
- W3010147380 magId "3010147380" @default.
- W3010147380 workType "article" @default.