이론 컴퓨터 과학

나는 구체적으로 n 비트나 의사 결정 목록 또는 {0,1} ^ n에 포함 된 다른 "간단한"언어를 결합하지 않고 임의로 긴 문자열을 허용하는 언어 군을 의미합니다. 나는 "논리 이론적"언어와는 달리 "자율 이론적"정규 언어에 대해 묻고있다. 관련 복잡성 파라미터 n은 최소 수용 DFA의 크기입니다. 간결하게 말하면, 효율적으로 PAC를 배울 수있는 것으로 알려진 흥미로운 …

9 automata-theory  machine-learning  lg.learning 

허락하다 ΣΣ\Sigma알파벳, 즉 비어 있지 않은 유한 집합이어야합니다. 문자열은 다음에서 나오는 요소 (문자)의 유한 시퀀스입니다.ΣΣ\Sigma. 예로서,{ 0 , 1 }{0,1} \{0, 1\} 이진 알파벳이고 011001100110 이 알파벳의 문자열입니다. 일반적으로 ΣΣ\Sigma 하나 이상의 요소를 포함하며 요소의 정확한 수 ΣΣ\Sigma중요하지 않습니다. 기껏해야 다른 상수로 끝납니다. 즉, 이진 알파벳, 숫자, 라틴 알파벳 또는 …

9 big-list  encoding  examples 

IP (2pfa) 및 AM (2pfa)는 양방향 입력 헤드가있는 확률 적 유한 오토마타 인 검증기를 갖춘 대화 형 증명 시스템의 프라이빗 및 퍼블릭 코인 버전에서 각각 경계 오류로 인식되는 언어 클래스입니다. 이 클래스의 폐쇄 속성이 알려져 있습니까?

9 cc.complexity-theory  interactive-proofs 

SIGACT News 의 Chemoinformatics 알고리즘 핸드북에 대한 리뷰를 (느리게) 작성하고 있습니다. 한 장에서는 현재 소프트웨어 구현에 대해 설명하고 데이터베이스 검색 (및 다른 응용 프로그램)은 그래프에 대한 정보를 최대한 활용하지 않는 것 같습니다. 반면에 더 이론적 인 알고리즘은 구현하기가 너무 어려울 수 있습니다. 그래도 잠재적 인 열린 공간 인 것 같습니다. …

9 reference-request 

문제는 다음과 같습니다. 일반적으로 다음과 같은 용어가있을 때Λ X. 티Λ엑스.티\Lambda X.t인스턴스 와 같이이 용어를 유형 에 적용하여 전체를 제거 할 수 있습니다 .( Λ X. t ) [ T] → t [ X: = T](Λ엑스.티)[티]→티[엑스: =티](\Lambda X.t)[T]\to t[X:=T] 이제 이것이 화살표라고 가정하고 인수를 주려고합니다. 그런 다음이 인수를받을 수 있도록이 용어를 …

9 type-theory  polymorphism  type-inference 

실시간 스트리밍 데이터를 사용한 클러스터링과 관련하여 직면 한 문제가 있습니다. 점점 증가하는 데이터 세트가 있으므로 효율적이고 효과적인 클러스터링을 실행하는 가장 좋은 방법이 무엇인지 잘 모르겠습니다. 나는 다음과 같은 몇 가지 가능한 해결책을 생각해 냈습니다. 허용 할 데이터 포인트 수에 대한 한계를 설정하여 다른 데이터 포인트가 가장 오래된 포인트에 도달 할 …

9 ds.algorithms  clustering  online-algorithms  data-streams 

특정 계산 특성을 갖는 유한 그래프의 존재 (또는 존재하지 않음)가 특정 복잡성 결과 (예 : P = NP)를 암시한다는 알려진 결과가 있습니까? 완전한 가설적인 결과는 다음과 같습니다 . 유한 그래프에 모서리 A, B, C 및 D가 뚜렷한 경우 모든 최대 일치 항목에 A, B, C 및 D가 모두 포함되거나 A, …

9 cc.complexity-theory 

우리는 여러 가지 중첩 된 솔루션 개념 클래스를 알고 사랑합니다. PN : 순수한 내쉬 균형 MN : 혼합 내쉬 균형 CE : 상관 평형 CCE : 코스 상관 평형. 이 세트들 사이의 관계는 다음과 같습니다. 우리는 이러한 솔루션 개념 중 하나에 대한 무정부주의의 가격을 고려할 수 있습니다. : 따라서 위의 …

9 gt.game-theory