๋ณธ ๋
ผ๋ฌธ์ ๋ฒ ์ด์ง์ ๋คํธ์ํฌ ๊ตฌ์กฐ ํ์ต(BNSL) ๋ฌธ์ ์ ๋งค๊ฐ๋ณ์ํ๋ ๋ณต์ก๋๋ฅผ ์กฐ์ฌํฉ๋๋ค. ํนํ, ์ด์ ์ ์ฐ๊ตฌ๋์๋ superstructure(์
๋ ฅ ๊ทธ๋ํ์ ์ผ๋ถ) ํฌ๊ธฐ์ ๋ฐ๋ฅธ ๊ณ ์ ๋งค๊ฐ๋ณ์ ์ถ์ ๊ฐ๋ฅ์ฑ(FPT) ๊ฒฐ๊ณผ๊ฐ ๋ถ์ ์ ์ด์๋ ๋ฐ๋ฉด, ๋ณธ ์ฐ๊ตฌ๋ ํผ๋๋ฐฑ ์ฃ์ง ์งํฉ(feedback edge set) ํฌ๊ธฐ๋ฅผ ๋งค๊ฐ๋ณ์๋ก ์ฌ์ฉํ ๊ฒฝ์ฐ FPT์์ ์๋กญ๊ฒ ์ฆ๋ช
ํฉ๋๋ค. ๋ํ, ์
๋ ฅ ํํ ๋ฐฉ์์ ๋ฐ๋ผ BNSL์ ๋ณต์ก๋๊ฐ ๋ฌ๋ผ์ง์ ๋ณด์ด๋ฉฐ, ํนํ ๋ง์
์ ํํ(additive representation)์ ์ฌ์ฉํ ๊ฒฝ์ฐ treewidth๋ง์ผ๋ก๋ FPT๊ฐ ๊ฐ๋ฅํจ์ ๋ณด์ฌ์ค๋๋ค.