이론 컴퓨터 과학

(강한) 고정 매개 변수 수축성 정의에서 시간 제한은 형식의 표현입니다 . p ( | x | ) ( 여기서 입력 인스턴스는 매개 변수 k를 가진 ( x , k ) 이고 , p 는 다항식이며, f 는 계산 가능한 함수입니다.에프( k ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),( …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

다음 문제를 고려하십시오- 주어 최대 평면 그래프 및 G 2 발견 그래프 G 모두 (반드시 유도) 서브 그래프가되도록 가장자리의 최대 수와 G 1 및 G 2 동형 인 G .지1G1G_1지2G2G_2지GG지1G1G_1지2G2G_2지GG 다항식 시간으로이 작업을 수행 할 수 있습니까? 그렇다면 어떻게? 만약 과 G 2 가 일반적인 그래프라면, 문제는 NP- 완전한 것입니다 …

13 ds.algorithms  graph-algorithms  planar-graphs 

관심있는 최적화 문제를 해결하기 위해 SAT 솔버에 의존 할 가능성을 조사하기 시작했으며 현재 SAT 변형 (예 : 결과 변환)에 대한 "영리한"변환의 예를 특징으로하는 설문 조사를 찾고 있습니다. 적당한 크기의 문제에서 경도 결과를 증명하는 데 관심이 없지만 실제로 문제를 해결하는 데 관심이 있기 때문에) Greenlaw와 Petreschi의 입방 그래프 에 대한 조사에서 …

13 ds.algorithms  reference-request  sat  optimization 

계산이라고 부르는 것은 함수에 대한 솔루션 수를 찾는 것으로 구성된 문제입니다. 더 정확하게 말하면, 함수 f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (블랙 박스 일 필요는 없음), 대략적인 #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. 나는 일종의 계산과 관련된 알고리즘 문제를 찾고 있으며이 복잡한 계산 문제에 의해 시간 복잡성이 크게 영향을받습니다. 물론 문제 자체를 계산하지 않는 문제를 …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

감안 으로 경화 교 및 균등 범위에 분포 된 난수 인 . 욕심 많은 알고리즘은이 분모 집합을 사용하여 최적의 변화를 생성하는 동전의 비율에 대해 무모하게?c 1 = 1 c 2 &lt; c 3 &lt; . . &lt; c n [ 2 , N ]엔nn씨1= 1c1=1c_1=1씨2&lt; c삼&lt; . . &lt; c엔c2&lt;c3&lt;..&lt;cnc_2<c_3<..<c_{n}[ …

13 ds.algorithms 

NP-Completeness를 가르 칠 때마다 학생들은 " NP에 속하지 않는 것으로 알려진 문제가 있습니까?"라고 묻습니다. 어떻게 대답 하시겠습니까? 나는 일반적으로 예를 들어 결정 불가능한 문제를 제시하지만, 이것은 종종 잘 드러나지 않습니다. 왜 그것이 NP에 있지 않은지 알지 못합니다 (폴리 타임으로 솔루션을 확인할 수 있습니다 ... 그냥 꽂으십시오! 나는이 접근법을 무시하는 데 …

13 cc.complexity-theory  complexity-classes  teaching 

고정 파라미터와 근사치는 어려운 문제를 해결하기위한 완전히 다른 접근법입니다. 그들은 다른 동기가 있습니다. 근사는 근사 솔루션으로 더 빠른 결과를 찾습니다. 고정 매개 변수는 k의 지수 또는 일부 함수와 n의 다항 함수에서 n이 입력 크기이고 k가 매개 변수라는 점에서 시간이 복잡한 복잡한 솔루션을 찾습니다. 예 .2케이엔삼2kn32^kn^3 이제 제 질문은 어떤 상위 …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

유전자 알고리즘은 인구가 많을수록 더 적은 세대에 진화하지만 세대를 계산하는 데 더 오래 걸립니다. 가능한 한 빨리 실행 가능한 솔루션에 도달하기 위해이 두 가지 요소의 균형을 맞추기위한 지침이 있습니까? 또한 이것이 질문에 가장 적합한 장소입니까?

13 ds.algorithms  machine-learning  genetic-algorithms 

최대 독립 세트의 다음 LP 완화를 시도했습니다. max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 내가 시도한 모든 입방체가 아닌 그래프에 대해 모든 변수에 대해 1/21/21/2 를 얻습니다 . 연결된 모든 3 차 비 이중 그래프에 해당됩니까? 이러한 그래프에 더 적합한 LP 완화가 …

13 graph-theory  co.combinatorics  linear-programming 

잘 시간에 허프만 코드를 계산하는 최악의 경우 최적의 알고리즘이 있다고 알려져있다 θ(nlgn)θ(nlg⁡n)\theta(n\lg n) . 이것은 두 가지 직교 방식으로 개선되었습니다. 고유 주파수 세트가 작은 경우 (예 : 크기 σσ\sigma ) 최적의 프리픽스 프리 코드를 더 빠르게 계산할 수 있습니다 . [Munro and Spira, 1976]을 사용하여 주파수를 정렬하여 의 작은 값을 …

13 cc.complexity-theory 

이것은 " 종이를 어떻게 심판합니까? " 의 일반적인 질문과 관련이 있습니다. 나는 회의를위한 논문을 검토하고 있는데,이 논문은 출판하기에 충분하지 않고 기술적 인 세부 사항에 결함이 있기 때문에 거부되어야한다. 이 논문은 틀리지 않지만 올바른 방법은 그리 흥미롭지 않습니다. 그러한 설정에서 부정적인 리뷰를 작성하려면 어떻게해야합니까? 더 중요한 것은, 상급 연구원으로서 어떻게해야합니까? 예를 …

13 soft-question  paper-review 

레이블이 지정된 전이 시스템이 애플리케이션에 적합한 모델이라는 것을 알았습니다. 즉, LTS를 사용한 사용 사례 모델링에 대한 논문이 있습니다. 문제는 LTS에 대해 쉽게 입증 할 수있는 것입니다. 기존 솔루션을 재사용하여 적용에 유용한 지 확인하고 싶습니다. LTS (및 사용 사례)의 속성을 쉽게 자동으로 입증 할 수있는 방법을 알고 싶습니다. 따라서 사용 사례의 …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

정점 표지는 독립 세트로 쉽게 줄일 수 있으며 그 반대도 마찬가지입니다. 그러나 매개 변수화 된 복잡성의 맥락에서 독립 세트는 정점 표지보다 어렵습니다. 정점 커버에 정점이 있는 커널 이 존재하지만 독립 세트는 W 1 하드입니다.2k2k2k FPT의 맥락에서 독립 집합의 본질은 어떻게 변하는가?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

컴파일러 이론은 꽤 검증 된 주제 인 것 같습니다. 이 분야에서 진행중인 개방형 문제 또는 현재 연구는 무엇입니까?

13 soft-question  big-list  open-problem  compilers 

비대칭 암호화와 관련된 관찰은 일부 기능은 한 방향으로 수행하기 쉽지만 반전하기는 어렵다는 것입니다. 또한, 역 연산을 빠르게 계산할 수있는 '트랩 도어'정보가 있으면이 문제는 공개 키 암호화 체계의 후보가됩니다. RSA로 유명한 클래식 트랩 도어 문제에는 인수 분해 문제와 이산 로그 문제가 포함됩니다. RSA가 발표 된시기와 거의 비슷한시기에 Rabin은 이산 제곱근을 찾아낸 …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption