SlideShare a Scribd company logo
1 of 21
Download to read offline
On NP-Hardness of the
Paired de Bruijn Sound Cycle
Problem
Evgeny Kapun Fedor Tsarev
Genome Assembly Algorithms Laboratory
University ITMO, St. Petersburg, Russia
September 2, 2013
Genome assembly models
Shortest common superstring –
NP-hard.
Shortest common superwalk in a de
Bruijn graph – NP-hard.
Superwalk in a de Bruijn graph with
known edge multiplicities – NP-hard.
Path in a paired de Bruijn graph?
Paired de Bruijn graph
TT
CT
TA
TT
AG
TC
GC
CT
CA
TT
AT
TC
TTA
CTT
TAG
TTC
AGC
TCT
GCA
CTT
CAT
TTC
ATT
TCT
TAT
TTC
CAG
TTC
Sound path
Sound path: strings match with shift d = 6.
TAGCTCACCCGTTGGT
ACCCGTTGGTAATTGC
Sound cycle: cyclic strings match with shift
d = 6.
TGATAAGTAGGCTAAG
GTAGGCTAAGTGATAA
Paired de Bruijn Sound Cycle
Problem
Given a paired de Bruijn graph G and an
integer d (represented in unary coding), find
if G has a sound cycle with respect to shift d.
Paired de Bruijn Covering Sound
Cycle Problem
Given a paired de Bruijn graph G and an
integer d (represented in unary coding), find
if G has a covering sound cycle with respect
to shift d.
Parameters
|Σ|: size of the alphabet.
k: length of vertex labels.
|V |, |E|: size of the graph (bounded in
terms of |Σ| and k).
d: shift distance.
Simple cases
|Σ| = 1: at most one vertex, at most
one edge.
k = 0: at most one vertex, at most |Σ|2
edges, reduces to the problem of
computing strongly connected
components.
d is fixed: find a cycle in a graph of
|V ||Σ|d
states.
Interesting case: k = 1
With fixed k = 1, the problem is NP-hard.
Proof outline:
1. Reduce Hamiltonian Cycle Problem,
which is NP-hard, to an intermediate
problem.
2. Reduce that problem to Paired de Bruijn
(Covering) Sound Cycle Problem.
The intermediate problem
Given an undirected graph,
if it contains a hamiltonian cycle, output
1.
if it doesn’t contain hamiltonian paths,
output 0.
otherwise, invoke undefined behavior.
Solution, step 1
G1 G2
a1
a2
a3
b1
b2
b3
Properties of a graph with a
hamiltonian cycle
Such graph contains hamiltonian paths
ending at any vertex.
passing through any edge.
for any edge {i, j} and vertex k = i, j,
passing through {i, j} such that j is
between i and k on the path.
Solution, step 2
V2n+2
s1
s2
V1
s2
s3
V2
. . . . . . s1. . . . . . . . . . . . s2. . . . . .
. . . . . . s2. . . . . . . . . . . . s3. . . . . .
Solution, step 2
In V1, V2n+2:
i
j
−→
i
j
Solution, step 2
In V3. . . V2n+1:
i
How to make a covering cycle
Pass along
the loop
multiple
times,
covering
more and
more edges
with each
iteration.
Interesting case: |Σ| = 2
With fixed |Σ| = 2, the problem is NP-hard.
The proof is done by reduction from the case
k = 1. The characters are replaced with
binary sequences, and a transformation is
done to avoid undesired overlaps.
Fix both k and |Σ|
If both k and |Σ| are fixed, the number of
different de Bruijn graphs is finite. The only
argument which can take infinitely many
values is d, and it is an integer represented in
unary coding. As a result, the number of
valid problem instances having any fixed
length is bounded. So, the language defined
by the problem is sparse. Therefore, the
problem is not NP-hard unless P=NP.
Results
Paired de Bruijn (Covering) Sound Cycle
Problem is
NP-hard for any fixed k ≥ 1 (can be
reduced from k = 1).
NP-hard for any fixed |Σ| ≥ 2 (trivially
reduced from |Σ| = 2).
NP-hard in the general case.
Results
Paired de Bruijn (Covering) Sound Cycle
Problem is
Not NP-hard if both k and |Σ| are fixed,
unless P=NP.
Solvable in polynomial time if k = 0,
|Σ| = 1, or d is fixed.
Thank you!

More Related Content

What's hot (12)

Gram-Schmidt Orthogonalization and QR Decompositon
Gram-Schmidt Orthogonalization and QR Decompositon Gram-Schmidt Orthogonalization and QR Decompositon
Gram-Schmidt Orthogonalization and QR Decompositon
 
Vibration of Continuous Structures
Vibration of Continuous StructuresVibration of Continuous Structures
Vibration of Continuous Structures
 
ECE 467 Mini project 2
ECE 467 Mini project 2ECE 467 Mini project 2
ECE 467 Mini project 2
 
Second order systems
Second order systemsSecond order systems
Second order systems
 
8 2012 ppt batfink semester 1 review
8 2012 ppt batfink semester 1 review8 2012 ppt batfink semester 1 review
8 2012 ppt batfink semester 1 review
 
8 2012 ppt batfink semester 1 review
8 2012 ppt batfink semester 1 review8 2012 ppt batfink semester 1 review
8 2012 ppt batfink semester 1 review
 
Concept of-complex-frequency
Concept of-complex-frequencyConcept of-complex-frequency
Concept of-complex-frequency
 
Mark Rscribe
Mark RscribeMark Rscribe
Mark Rscribe
 
MMsemester project
MMsemester projectMMsemester project
MMsemester project
 
Skiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiabilitySkiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiability
 
Mid term solution
Mid term solutionMid term solution
Mid term solution
 
smtlecture.5
smtlecture.5smtlecture.5
smtlecture.5
 

Viewers also liked

Maximum Likelihood Scaffold Assembly
Maximum Likelihood Scaffold AssemblyMaximum Likelihood Scaffold Assembly
Maximum Likelihood Scaffold Assembly
Alexey Sergushichev
 
Алгоритм сборки генома для экзафлопсных систем
Алгоритм сборки генома для экзафлопсных системАлгоритм сборки генома для экзафлопсных систем
Алгоритм сборки генома для экзафлопсных систем
Sergey Kazakov
 
Сборка генома de novo: мифы и реальность
Сборка генома de novo: мифы и реальностьСборка генома de novo: мифы и реальность
Сборка генома de novo: мифы и реальность
Fedor Tsarev
 
Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...
Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...
Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...
Fedor Tsarev
 
Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...
Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...
Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...
Anton Alexandrov
 
Combining de Bruijn graph, overlap graph and microassembly for de novo genome...
Combining de Bruijn graph, overlap graph and microassembly for de novo genome...Combining de Bruijn graph, overlap graph and microassembly for de novo genome...
Combining de Bruijn graph, overlap graph and microassembly for de novo genome...
Anton Alexandrov
 

Viewers also liked (7)

Maximum Likelihood Scaffold Assembly
Maximum Likelihood Scaffold AssemblyMaximum Likelihood Scaffold Assembly
Maximum Likelihood Scaffold Assembly
 
Алгоритм сборки генома для экзафлопсных систем
Алгоритм сборки генома для экзафлопсных системАлгоритм сборки генома для экзафлопсных систем
Алгоритм сборки генома для экзафлопсных систем
 
Сборка генома de novo: мифы и реальность
Сборка генома de novo: мифы и реальностьСборка генома de novo: мифы и реальность
Сборка генома de novo: мифы и реальность
 
Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...
Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...
Сборка генома: мифы и реальность. Доклад на пленарном заседании III Всероссий...
 
Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...
Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...
Совместное применение графов де Брёйна, графов перекрытий и микросборки для d...
 
Доклад на семинаре в лаборатории алгоритмической биологии АУ
Доклад на семинаре в лаборатории алгоритмической биологии АУДоклад на семинаре в лаборатории алгоритмической биологии АУ
Доклад на семинаре в лаборатории алгоритмической биологии АУ
 
Combining de Bruijn graph, overlap graph and microassembly for de novo genome...
Combining de Bruijn graph, overlap graph and microassembly for de novo genome...Combining de Bruijn graph, overlap graph and microassembly for de novo genome...
Combining de Bruijn graph, overlap graph and microassembly for de novo genome...
 

Similar to On NP-Hardness of the Paired de Bruijn Sound Cycle Problem

IJCER (www.ijceronline.com) International Journal of computational Engineeri...
 IJCER (www.ijceronline.com) International Journal of computational Engineeri... IJCER (www.ijceronline.com) International Journal of computational Engineeri...
IJCER (www.ijceronline.com) International Journal of computational Engineeri...
ijceronline
 
Chap10 slides
Chap10 slidesChap10 slides
Chap10 slides
HJ DS
 
Sorting and Routing on Hypercubes and Hypercubic Architectures
Sorting and Routing on Hypercubes and Hypercubic ArchitecturesSorting and Routing on Hypercubes and Hypercubic Architectures
Sorting and Routing on Hypercubes and Hypercubic Architectures
CTOGreenITHub
 
dhirota_hone_corrected
dhirota_hone_correcteddhirota_hone_corrected
dhirota_hone_corrected
Andy Hone
 
Csr2011 june15 12_00_davydow
Csr2011 june15 12_00_davydowCsr2011 june15 12_00_davydow
Csr2011 june15 12_00_davydow
CSR2011
 

Similar to On NP-Hardness of the Paired de Bruijn Sound Cycle Problem (20)

IJCER (www.ijceronline.com) International Journal of computational Engineeri...
 IJCER (www.ijceronline.com) International Journal of computational Engineeri... IJCER (www.ijceronline.com) International Journal of computational Engineeri...
IJCER (www.ijceronline.com) International Journal of computational Engineeri...
 
Solving connectivity problems via basic Linear Algebra
Solving connectivity problems via basic Linear AlgebraSolving connectivity problems via basic Linear Algebra
Solving connectivity problems via basic Linear Algebra
 
International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI) International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)
 
International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)
 
On the Odd Gracefulness of Cyclic Snakes With Pendant Edges
On the Odd Gracefulness of Cyclic Snakes With Pendant EdgesOn the Odd Gracefulness of Cyclic Snakes With Pendant Edges
On the Odd Gracefulness of Cyclic Snakes With Pendant Edges
 
Ps02 cmth03 unit 1
Ps02 cmth03 unit 1Ps02 cmth03 unit 1
Ps02 cmth03 unit 1
 
Optimisation random graph presentation
Optimisation random graph presentationOptimisation random graph presentation
Optimisation random graph presentation
 
Chap10 slides
Chap10 slidesChap10 slides
Chap10 slides
 
Biconnectivity
BiconnectivityBiconnectivity
Biconnectivity
 
Kernel for Chordal Vertex Deletion
Kernel for Chordal Vertex DeletionKernel for Chordal Vertex Deletion
Kernel for Chordal Vertex Deletion
 
New Families of Odd Harmonious Graphs
New Families of Odd Harmonious GraphsNew Families of Odd Harmonious Graphs
New Families of Odd Harmonious Graphs
 
ODD HARMONIOUS LABELINGS OF CYCLIC SNAKES
ODD HARMONIOUS LABELINGS OF CYCLIC SNAKESODD HARMONIOUS LABELINGS OF CYCLIC SNAKES
ODD HARMONIOUS LABELINGS OF CYCLIC SNAKES
 
Circuit Network Analysis - [Chapter2] Sinusoidal Steady-state Analysis
Circuit Network Analysis - [Chapter2] Sinusoidal Steady-state AnalysisCircuit Network Analysis - [Chapter2] Sinusoidal Steady-state Analysis
Circuit Network Analysis - [Chapter2] Sinusoidal Steady-state Analysis
 
Fine Grained Complexity of Rainbow Coloring and its Variants
Fine Grained Complexity of Rainbow Coloring and its VariantsFine Grained Complexity of Rainbow Coloring and its Variants
Fine Grained Complexity of Rainbow Coloring and its Variants
 
Sorting and Routing on Hypercubes and Hypercubic Architectures
Sorting and Routing on Hypercubes and Hypercubic ArchitecturesSorting and Routing on Hypercubes and Hypercubic Architectures
Sorting and Routing on Hypercubes and Hypercubic Architectures
 
AN INTRODUCTION TO ENGINEERRING Optics.pptx
AN INTRODUCTION TO ENGINEERRING Optics.pptxAN INTRODUCTION TO ENGINEERRING Optics.pptx
AN INTRODUCTION TO ENGINEERRING Optics.pptx
 
bellman-ford Theorem.ppt
bellman-ford Theorem.pptbellman-ford Theorem.ppt
bellman-ford Theorem.ppt
 
dhirota_hone_corrected
dhirota_hone_correcteddhirota_hone_corrected
dhirota_hone_corrected
 
Csr2011 june15 12_00_davydow
Csr2011 june15 12_00_davydowCsr2011 june15 12_00_davydow
Csr2011 june15 12_00_davydow
 
DSD-INT 2015 - Opportunities for next generation river modelling - Herman Ker...
DSD-INT 2015 - Opportunities for next generation river modelling - Herman Ker...DSD-INT 2015 - Opportunities for next generation river modelling - Herman Ker...
DSD-INT 2015 - Opportunities for next generation river modelling - Herman Ker...
 

More from Fedor Tsarev

Talk at dnGASP workshop, April 5, 2011
Talk at dnGASP workshop, April 5, 2011Talk at dnGASP workshop, April 5, 2011
Talk at dnGASP workshop, April 5, 2011
Fedor Tsarev
 
Problem solving on acm international collegiate programming contest
Problem solving on acm international collegiate programming contestProblem solving on acm international collegiate programming contest
Problem solving on acm international collegiate programming contest
Fedor Tsarev
 
05 динамическое программирование
05 динамическое программирование05 динамическое программирование
05 динамическое программирование
Fedor Tsarev
 
04 динамическое программирование - основные концепции
04 динамическое программирование - основные концепции04 динамическое программирование - основные концепции
04 динамическое программирование - основные концепции
Fedor Tsarev
 

More from Fedor Tsarev (10)

We are the champions: programming world champions from Russia. Why and what for?
We are the champions: programming world champions from Russia. Why and what for?We are the champions: programming world champions from Russia. Why and what for?
We are the champions: programming world champions from Russia. Why and what for?
 
Becoming a World Champion in Programming: Keep Calm and Compete
Becoming a World Champion in Programming: Keep Calm and CompeteBecoming a World Champion in Programming: Keep Calm and Compete
Becoming a World Champion in Programming: Keep Calm and Compete
 
Talk at dnGASP workshop, April 5, 2011
Talk at dnGASP workshop, April 5, 2011Talk at dnGASP workshop, April 5, 2011
Talk at dnGASP workshop, April 5, 2011
 
Problem solving on acm international collegiate programming contest
Problem solving on acm international collegiate programming contestProblem solving on acm international collegiate programming contest
Problem solving on acm international collegiate programming contest
 
05 динамическое программирование
05 динамическое программирование05 динамическое программирование
05 динамическое программирование
 
05 динамическое программирование
05 динамическое программирование05 динамическое программирование
05 динамическое программирование
 
04 динамическое программирование - основные концепции
04 динамическое программирование - основные концепции04 динамическое программирование - основные концепции
04 динамическое программирование - основные концепции
 
01 линейные структуры данных
01 линейные структуры данных01 линейные структуры данных
01 линейные структуры данных
 
03 двоичные деревья поиска и очередь с приоритетами
03 двоичные деревья поиска и очередь с приоритетами03 двоичные деревья поиска и очередь с приоритетами
03 двоичные деревья поиска и очередь с приоритетами
 
02 сортировка и поиск
02 сортировка и поиск02 сортировка и поиск
02 сортировка и поиск
 

Recently uploaded

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
panagenda
 

Recently uploaded (20)

FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdf
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with Milvus
 
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
 
Ransomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfRansomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdf
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
 

On NP-Hardness of the Paired de Bruijn Sound Cycle Problem

  • 1. On NP-Hardness of the Paired de Bruijn Sound Cycle Problem Evgeny Kapun Fedor Tsarev Genome Assembly Algorithms Laboratory University ITMO, St. Petersburg, Russia September 2, 2013
  • 2. Genome assembly models Shortest common superstring – NP-hard. Shortest common superwalk in a de Bruijn graph – NP-hard. Superwalk in a de Bruijn graph with known edge multiplicities – NP-hard. Path in a paired de Bruijn graph?
  • 3. Paired de Bruijn graph TT CT TA TT AG TC GC CT CA TT AT TC TTA CTT TAG TTC AGC TCT GCA CTT CAT TTC ATT TCT TAT TTC CAG TTC
  • 4. Sound path Sound path: strings match with shift d = 6. TAGCTCACCCGTTGGT ACCCGTTGGTAATTGC Sound cycle: cyclic strings match with shift d = 6. TGATAAGTAGGCTAAG GTAGGCTAAGTGATAA
  • 5. Paired de Bruijn Sound Cycle Problem Given a paired de Bruijn graph G and an integer d (represented in unary coding), find if G has a sound cycle with respect to shift d.
  • 6. Paired de Bruijn Covering Sound Cycle Problem Given a paired de Bruijn graph G and an integer d (represented in unary coding), find if G has a covering sound cycle with respect to shift d.
  • 7. Parameters |Σ|: size of the alphabet. k: length of vertex labels. |V |, |E|: size of the graph (bounded in terms of |Σ| and k). d: shift distance.
  • 8. Simple cases |Σ| = 1: at most one vertex, at most one edge. k = 0: at most one vertex, at most |Σ|2 edges, reduces to the problem of computing strongly connected components. d is fixed: find a cycle in a graph of |V ||Σ|d states.
  • 9. Interesting case: k = 1 With fixed k = 1, the problem is NP-hard. Proof outline: 1. Reduce Hamiltonian Cycle Problem, which is NP-hard, to an intermediate problem. 2. Reduce that problem to Paired de Bruijn (Covering) Sound Cycle Problem.
  • 10. The intermediate problem Given an undirected graph, if it contains a hamiltonian cycle, output 1. if it doesn’t contain hamiltonian paths, output 0. otherwise, invoke undefined behavior.
  • 11. Solution, step 1 G1 G2 a1 a2 a3 b1 b2 b3
  • 12. Properties of a graph with a hamiltonian cycle Such graph contains hamiltonian paths ending at any vertex. passing through any edge. for any edge {i, j} and vertex k = i, j, passing through {i, j} such that j is between i and k on the path.
  • 13. Solution, step 2 V2n+2 s1 s2 V1 s2 s3 V2 . . . . . . s1. . . . . . . . . . . . s2. . . . . . . . . . . . s2. . . . . . . . . . . . s3. . . . . .
  • 14. Solution, step 2 In V1, V2n+2: i j −→ i j
  • 15. Solution, step 2 In V3. . . V2n+1: i
  • 16. How to make a covering cycle Pass along the loop multiple times, covering more and more edges with each iteration.
  • 17. Interesting case: |Σ| = 2 With fixed |Σ| = 2, the problem is NP-hard. The proof is done by reduction from the case k = 1. The characters are replaced with binary sequences, and a transformation is done to avoid undesired overlaps.
  • 18. Fix both k and |Σ| If both k and |Σ| are fixed, the number of different de Bruijn graphs is finite. The only argument which can take infinitely many values is d, and it is an integer represented in unary coding. As a result, the number of valid problem instances having any fixed length is bounded. So, the language defined by the problem is sparse. Therefore, the problem is not NP-hard unless P=NP.
  • 19. Results Paired de Bruijn (Covering) Sound Cycle Problem is NP-hard for any fixed k ≥ 1 (can be reduced from k = 1). NP-hard for any fixed |Σ| ≥ 2 (trivially reduced from |Σ| = 2). NP-hard in the general case.
  • 20. Results Paired de Bruijn (Covering) Sound Cycle Problem is Not NP-hard if both k and |Σ| are fixed, unless P=NP. Solvable in polynomial time if k = 0, |Σ| = 1, or d is fixed.