이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

2
로컬 스왑을 사용하여 그래프에서 토큰 섞기
가 정도가 제한된 비정규 연결 그래프라고 하자 . 각 노드에 고유 한 토큰이 있다고 가정하십시오.G=(V,E)G=(V,E)G= (V, E) 로컬 스왑 만 사용하여 그래프 사이에서 토큰을 균일하게 섞고 싶습니다 (즉, 두 개의 인접한 노드 사이의 토큰 교환)? 이 문제로 알려진 하한이 있습니까? 내가 가진 유일한 아이디어는 랜덤 워크 결과를 사용하고, 그래프에서 토큰을 …
5
온라인 학습 이해에 대한 좋은 참고 자료는 무엇입니까?
특히, 운영 중에 각자의 신념 네트워크 (또는 이와 동등한)를 업데이트 할 수있는 기계 학습 시스템에 대해 배울 수있는 자료를 요청합니다. 나는 그것들을 북마크에 넣지 못했지만 몇 개를 뛰어 넘었습니다. 상상할 수 있듯이 인터넷에서 검색하는 것은 다소 어려운 주제입니다.
1
머리를 가진 유한 상태 오토마타는 어떤 종류의 언어를 인식 합니까?
DFA 또는 NFA는 단일 헤드가있는 입력 문자열을 통해 왼쪽에서 오른쪽으로 읽습니다. 여러 개의 헤드 를 가진 유한 상태 기계에 대해 궁금해하는 것은 당연한 것으로 보입니다 . 각 헤드 는 왼쪽에서 오른쪽으로 입력을 통해 이동하지만 입력에서 다른 곳과 반드시 ​​같은 위치에 있지는 않습니다. 다음과 같이 헤드가 있는 유한 상태 머신을 정의하겠습니다 …
1
NP-E 및 E-NP의 자연 후보
70 년대 초반부터 N P엔피{\bf NP}및 (때문에 동일하지 않다 달리 다항식 시간 대일 감소 하에서 닫히지 ). 그러나 내가 아는 한, 한 클래스가 다른 클래스의 하위 집합인지 또는 비교할 수 없는지 여부는 여전히 열려 있습니다. 즉, 및 는 모두 비어 있지 않습니다.E =DT나는미디엄이자형(2O ( n ))이자형=디티나는미디엄이자형(2영형(엔)){\bf E}=DTIME(2^{O(n)})이자형이자형{\bf E}N P엔피{\bf NP}N …
1
프로그래밍 언어 이론이 대답하려는“질문”은 무엇입니까?
나는 Combinatory Logic, Lambda Calculus, Functional Programming과 같은 다양한 주제에 관심이 있었고이를 연구하고 있습니다. 그러나 "계산 이론"과는 달리 "계산 성", 즉 다양한 제약으로 계산할 수없는 것들에 대한 질문에 답하려고 노력하는 것과는 달리, "프로그래밍 이론"에 대한 아날로그를 찾는 데 어려움을 겪고 있습니다. Wikipedia 는이를 다음과 같이 설명합니다. 프로그래밍 언어 이론 (PLT)은 …
1
P (PTime)와 Type 1 (문맥 구분) 언어 간의 추측 관계는 무엇입니까?
인지 인지는 알 수 .P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP 는 결정 론적 튜링 머신에서 다항식 시간으로 결정할 수있는 모든 언어 세트입니다. CSLCSLCSL 은 선형 경계 오토마타에 의해 결정된 언어 인 NSPACE (O (n)) 과 동등한 것으로 알려진 상황에 맞는 언어의 클래스입니다 NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)). 많은 오픈 질문은 한 가지 대답을 향한 경향 (이 …
1
중지 문제의 진리표의 Kolmogorov 복잡성이 무증상으로 알려져 있습니까?
하자 길이의 문자열을 나타내는 길이의 입력에 대해 정지 문제의 진리표에 해당하는 .HL티엔HALTnHALT_n2엔2n2^n엔nn Kolmogorov의 복잡성 의 시퀀스 가 이면, 어드바이스 문자열 중 하나는 무한정 자주 사용되며, 해당 문자열을 가진 TM은 균일하게 무한정 자주 해결할 수 있습니다. 그렇지 않습니다.케이( HL티엔)K(HALTn)K(HALT_n)O ( 1 )O(1)O(1)H알 L THALTHALT 대각선 화 인수를 자세히 살펴보면 실제로 이 …
1
유사한 입력 배치에서 부울 회로 평가
부울 회로가 있다고 가정하십시오. CCC 함수를 계산합니다 . 회로가 최대 2 개의 팬인 및 팬 아웃을 갖는 AND, OR 및 NOT 게이트로 구성되어 있다고 가정합니다.f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} 하자 주어진 입력 될. 와 주어지면 단일 비트 위치 에서 와 다른 입력 에 대해 를 평가하고 싶습니다 . 즉, 값 동일하다 그 …
1
다항식 커널
k-FLIP SAT 매개 변수화 된 문제는 다음과 같이 정의됩니다. 입력 : 3-CNF 공식φφ\varphi 와 엔nn 변수와 진실 할당 σ: [ n ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} 매개 변수 : 케이kk 질문 : 과제를 변형시킬 수 있습니까?σσ\sigma 만족스러운 임무로 σ'σ′\sigma' ...에 대한 φφ\varphi 최대 의 …
1
범주론의 이론에 대한 단일성과 골격 개념과의 관련
내가 homotopy type 이론 에서 일하고 나의 유일한 연구 대상은 일반적인 범주 라고 가정 해 봅시다 . 여기에서 등가는 functors에 의해 제공됩니다 에프: D ⟶ C에프:디⟶씨F:{\bf D}\longrightarrow{\bf C} 과 G : C ⟶ D지:씨⟶디G:{\bf C}\longrightarrow{\bf D}카테고리의 동등성 을 제공 하는 C ≃ D씨≃디{\bf C} \simeq {\bf D}. 자연적인 동형이 존재합니다α …
1
보완 여유가 중요한 이유는 무엇입니까?
보 완성 느슨 함 (CS)은 일반적으로 이원성에 대해 이야기 할 때 배웁니다. 수학적 관점에서 원시와 이중 구속 조건 / 변수 사이의 좋은 관계를 설정합니다. CS를 적용해야하는 두 가지 주요 이유 (대학원 과정 및 교과서에서 가르치는) : LP의 최적 성을 확인하려면 듀얼을 해결하기 위해 LP를 해결하기위한 오늘날의 컴퓨팅 능력과 다항식 알고리즘을 …
1
다국어 DFA 최소화
DFA의 일반화에 관심이 있습니다. 평소와 같이 상태 설정 , 유한 알파벳 , 의해 에 정의 된 -action 및 초기 상태 ; 그러나 일반적인 터미널 세트 대신에 우리 는 의 부분 집합의 패밀리 를 취합니다 . 다국어 DFA 은 튜플입니다.QQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n}QQQMMM (Q,Σ,δ,q0,(Ti))(Q,Σ,δ,q0,(Ti))(Q, \Sigma, \delta, q_0, (T_i)) 과 L⊆Σ∗L⊆Σ∗L …
1
균일 분포에서 2-DNF에 대한 적절한 PAC 학습
샘플 쿼리를 사용 하고 균일하게 분포 된 적절한 PAC 학습 2-DNF 수식 의 쿼리 복잡성에 대한 최신 결과는 무엇입니까 ? 아니면 사소한 것이 있습니까? 나는 학습 이론에 전혀 익숙하지 않으며이 질문은 다른 분야에서 동기를 부여 받았기 때문에 그 대답은 분명 할 것입니다. 나는 Kearns와 Vazirani의 책을 확인했지만 그들은이 설정을 명시 …
2
구성 불가능한 기능 및 비정상 결과
Arora-Barak 책에서 시간 구성 가능 함수의 정의에서 시간 구성 가능하지 않은 함수를 사용하면 "비정상적인 결과"를 초래할 수 있다고합니다. 누구든지 그러한 "이상적인 결과"의 예를 가지고 있습니까? 특히 시간 계층 정리가 유지하지 않는 함수가있을 수 있다고 들었습니다. 누구나 그러한 함수의 예가 있습니까? 문학 어딘가에 이것에 관한 것이 있습니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.