8/18/2019 stmnt

1/4

Analiza Algoritmilor

Tema 4 - Implementarea unei Reduceri Polinomiale

Termen de predare:  5 Ianuarie 2016  (100% punctaj)

12 Ianuarie 2016 (60% punctaj)

Ultima actualizare:   22.12.2015 

8/18/2019 stmnt

2/4

8/18/2019 stmnt

3/4

3 Cerint,ă

Se cere implementarea reducerii  HP  ≤ p  SAT   ı̂ntr-un limbaj de programarela alegere .

Programul va primi ca input un graf neorientat s,i va trebui să returneze

expresia booleană rezultată ca urmare a aplicării unei tehnici de reducerecorectă.

Alături de codul sursă, va fi necesară includerea unui Makefile  cu următoareletarget-uri:

•   build: compilează codul sursă (dacă este cazul)

•   run: rulează programul

•   clean: s,terge toate fis

,ierele generate de target-urile anterioare, cu

except,ia celui de output.

Notă:  make build , make run ,  make clean  vor trebui să fie comenzi valide dinroot-ul arhivei trimise.

3.1 Input

Fis,

ierul de intrare va fi  test.in.Pe prima linie se vor afla 2 numere,  V, E , reprezentând numărul de noduridin graf, respectiv numărul de muchii ale grafului. Pe fiecare din următoareleE  linii se va afla câte o pereche de forma (u, v), 1 ≤  u, v ≤  V , cu semnificat

,ia

exist˘ a muchie ı̂ntre nodul  u  s ,i nodul  v.

1

2 3

4

5

Exemplu

5 41 5

5 45 33 2

2

8/18/2019 stmnt

4/4