이론 컴퓨터 과학

모든 matroid 및 가중치 함수 에 대해 최대 가중치 기준 을 반환하는 알고리즘이 종료됩니다 . 따라서 반대 방향도 사실입니까? 즉, 욕심 많은 알고리즘이 있다면, 일부 matroid 구조가 있어야합니다.MMMwwwGreedyBasis(M,w)GreedyBasis(M,w)\mbox{GreedyBasis}(M,w)MMM

13 ds.algorithms  greedy-algorithms 

P NP라고 가정하십시오 .≠≠\ne Ladner Theorem은 NP 중간 문제 (P 또는 NP-Complete가 아닌 NP의 문제)가 있다고 말합니다. 나는 NPI 내에 상호 축소 가능한 언어의 많은 "수준"이 모두 하나로 완전히 붕괴되지는 않는다고 제안하는 온라인의 가려진 참고 문헌을 발견했다. 이 레벨의 구조에 대해 몇 가지 질문이 있습니다. "NP-Intermediate-Complete"문제, 즉 다른 모든 NP-Intermediate …

13 cc.complexity-theory  np  np-intermediate 

내가 이해하는 것처럼, P = NP 또는 P ≠ NP는 (재귀 이론 oracles에서와 같이) 상대화 할 수 없어야한다는 증거. 그러나 사실상 모든 증거는 상대적인 것으로 보인다. P = NP / P ≠ NP 증거가 필요하고, 사소하거나 구제되지 않는 종류 의 비 상대적 증거 의 좋은 예는 무엇입니까 ? (나는 재귀 …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

각 모서리의 가중치가 음수 일 수있는 방향성 순환 그래프가 제공되면 "가장 짧은 경로"개념은 음수 사이클이없는 경우에만 의미가 있으며,이 경우 Bellman-Ford 알고리즘을 적용 할 수 있습니다. 그러나 자전거를 사용하지 않는 두 정점 사이의 최단 경로를 찾는 데 관심이 있습니다 (즉, 동일한 정점을 두 번 방문하지 않아야하는 제약 조건에서). 이 문제는 잘 …

13 ds.algorithms  graph-algorithms  shortest-path 

페이지 "고급 계획 : 일부 장난 꾸러기 비트" 상태 : 연속은 거의 모든 다른 제어 흐름 구조 [...]가 도출 될 수 있는 강력한 제어 흐름 구조입니다. call/ccPeter Landin의 J 연산자와 관련된 Scheme이 알려진 제어 흐름 구조 를 구현 하는 데 사용될 수 있다고 생각 했습니까? "제어 흐름 구조" 를 사용하여 …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

동기식 논리 회로를 사용하여 FSM을 구현하는 방법을 가르치면서 이론적 인 CS 세계와 전기 공학 세계에서 "상태"는 일반적으로 (및 상태 공간 Q )로 표시됩니다. 먼저 EE.sx에 대해 질문 했지만이 주제를 조금 연구하면서 Turing의 원본 ​​1936 논문 에서도 q 1을 사용 한다는 것을 알았습니다 . . 튜링 기계의 상태를 나타 내기 위해 …

13 automata-theory  ho.history-overview 

n, V_n의 정수로 구성된 벡터 표현이 있다고 가정 해보십시오. 이 벡터는 기계 학습 알고리즘에 대한 입력입니다. 첫 번째 질문 : 어떤 유형의 표현에 대해 신경망 또는 다른 벡터 대 비트 ML 매핑을 사용하여 n의 원시성 / 복합성을 배울 수 있습니다. 이것은 순전히 이론적입니다. 신경망의 크기는 제한이 없습니다. 다음과 같이 우선 …

13 co.combinatorics  machine-learning  primes 

경계도의 무 방향 평면 그래프 에서 피드백 정점 설정 문제가 -hard 인지 여부를 알고 있습니까?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

다음 Chernoff 확장에 대한 참조 (증거가 아니라 할 수 있음)를 찾고 있습니다. 하자 은 부울 랜덤 변수이며 반드시 독립적 일 필요 는 없습니다 . 대신, 각 i 및 { X j | 에 의존하는 모든 이벤트 C 에 대해 P r ( X i = 1 | C ) < …

13 reference-request  pr.probability  chernoff-bound 

복잡성 클래스 PPAD 는 일반적으로 End-Of-The-Line이 PPAD- 완전 함을 명시하여 정의됩니다. End-Of-The-Line은 검색 문제입니다. 입력은 그래프 다항식 시간 계산 가능 함수에 의해 주어진다 정도 내 및도 대부분 1에서 각 노드가 갖고있는 방향 그래프 구성 이 복귀 선행 및 후속 X . 또한 후속 노드는 있지만 선행 노드는없는 노드 v 가 …

13 cc.complexity-theory  complexity-classes  ppad 

나는 최근에 대화 형 증명에 대해 배웠으며 모든 것이 이론적 인 호기심에 불과하거나 실제 적용이 있는지 궁금합니다. 나는 샤워에서 나에게 일어난 예제로 시작하겠다고 생각했다. 최근에 "하나님의 수"가 20이라는 뉴스가 나왔습니다. (하나님의 수는 루빅스 큐브를 해결하는 데 필요한 최소 단계 수입니다). 이것은 꽤 흥미롭지 만 약간의 왜곡이있는 것 같습니다 ... 이것은 …

13 proofs  puzzles  interactive-proofs 

일부 노드에 칩이 있는 직접 가중치 그래프 GGG 에서 다음 게임을 고려하십시오 . GGG 모든 노드는 A 또는 B로 표시됩니다. Alice와 Bob 두 선수가 있습니다. Alice (Bob)의 목표는 칩을 A (B)로 표시된 노드로 이동시키는 것입니다. 처음에 Alice와 Bob은 각각 mAmAm_A 와 mBmBm_B 달러를가집니다. 플레이어가지는 위치에 있다면 (즉, 칩의 현재 위치가 …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

하나는 비트의 무작위성을 사용 하는 무작위 (BPP) 알고리즘 를 가지고 있다고 가정하자 . 선택된 대해 성공 확률을 로 증폭시키는 자연스러운 방법 은 다음과 같습니다.AAArrr1−δ1−δ1-\deltaδ>0δ>0\delta>0 독립적 인 런 + 과반수 투표 : 독립적으로 번 실행하고 출력의 과반수 투표를합니다. 임의의 비트이며 요소에 의해 실행 시간을 줄 입니다.AAAT=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta)rT=Θ(rlog(1/δ))rT=Θ(rlog⁡(1/δ))rT =\Theta(r\log(1/\delta))T=Θ(log(1/δ))T=Θ(log⁡(1/δ))T=\Theta(\log(1/\delta)) 독립 실행 + 체비 …

12 reference-request  randomness  pseudorandomness  expanders 

하자 C4C4C_4 네 개의 정점으로 순환합니다. 임의의 그래프 GGG 와 nnn 정점과 에지 m 말할 m>nn−−√m>nnm>n\sqrt n , 몇 개의C4C4C_4가 존재합니까? 이에 대한 하한이 있습니까?

12 graph-theory  graph-minor 

나는 세밀한 복잡성 (많은 3-SUM, OV 및 일반적인 대중적인 경도 추측을 가지고 노는)을 다루는 "탑 20"대학의 3 학년 대학원생입니다. 작년에 비해 생산성이 높았으며 3 개의 논문과 2 개의 논문이있었습니다. 이 모든 것은 내가 상당히 경험이 풍부한 대학원생이며 내가 설명하려는 것은 일화가 아닙니다. 모든 제출은 만족보다 더 불만을 가져옵니다. 문제 해결을 …

12 soft-question