kth.sePublications KTH
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Classification of the existence of gadget reductions between some Promise CSP's
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
2024 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAlternative title
Klassificering av existensen av mojängreduktioner mellan några CSP:er under löften (Swedish)
Abstract [en]

A fundamental goal of computer science is to understand the complexity of computational problems. One class of problems are promise constraint satisfaction problems (PCSP's). We study PCSP's related to graph coloring, linearly ordered coloring (LO-coloring) and rainbow coloring. We first dive into graph coloring PCSP's and classify the non-existence of certain gadget reductions between such problems. Next we systematically classify the existence gadget reductions between PCSP's related to graph coloring and LO-coloring and between PCSP's related to graph coloring and rainbow coloring that could yield new complexity results. For the most part these gadget reductions are shown to be non-existent. We do however prove the existence of a reduction from PCSP($\K_l,\K_k$) to PCSP($\LO_l^r,\LO_k^r$) for $k\geq l\geq 3$ and $r\geq 4$ yielding a substantial number of new NP-hardness results for PCSP($\LO_l^r,\LO_k^r$).

Abstract [sv]

Ett fundamentalt mål inom datalogi är att förstå komplexiteten av beräkningsproblem. En klass of dessa problem är villkorssatisfieringsproblem under löften (PCSP:er). Vi studerar PCSP:er relaterade till graffärgning, linjärt ordnad färgning (LO-färgning) och regnbågsfärgning. Vi dyker först in i graffärgings PCSP:er och klassificerar ickeexistensen av vissa mojängreduktioner mellan sådana problem. Sedan klassificerar vi systematiskt existensen av mojängreduktioner mellan PCSP:er relaterade till graffärgning och LO-färgning samt mellan PCSP:er relaterade till graffärgning och regnbågsfärgning. För det mesta visas det att dessa mojängreduktioner är ickeexisterand. Vi bevisar dock existensen av en mojängreduktion från PCSP($\K_l,\K_k$) till PCSP($\LO_l^r,\LO_k^r$) för $k\geq l\geq 3$ och $r\geq 4$ vilket ger en ansenlig mängd nya NP-svåra resultat för PCSP($\LO_l^r,\LO_k^r$).

Place, publisher, year, edition, pages
2024.
Series
TRITA-SCI-GRU ; 2024:342
Keywords [en]
Complexity, Mathematics, Computer Science
Keywords [sv]
Komplexitet, Matematik, Datalogi
National Category
Other Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-377657OAI: oai:DiVA.org:kth-377657DiVA, id: diva2:2042845
Subject / course
Mathematics
Educational program
Master of Science - Mathematics
Supervisors
Examiners
Available from: 2026-03-03 Created: 2026-03-03 Last updated: 2026-03-03Bibliographically approved

Open Access in DiVA

fulltext(816 kB)7 downloads
File information
File name FULLTEXT01.pdfFile size 816 kBChecksum SHA-512
1618af699cc0244e487ae401b45a445c0b87123f7a3837764b159f9bb6cd402c111df9f89e925a4b68e76ba4cb5e087a636ba4caf0d94663553adcce7f0474db
Type fulltextMimetype application/pdf

By organisation
Mathematics (Div.)
Other Mathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 198 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf