«reference-request» 태그된 질문

구체적이고 좁은 문제에 관한 논문을 요구하는 질문.

2
참조 요청 : 유형 시스템에 적용되는 카테고리 이론
프로그래밍 언어 이론을 진정으로 이해하기 위해 범주 이론을 배워야하는 방법에 대해 계속 듣고 있습니다. 지금까지 나는 범주 영역으로 들어 가지 않고 많은 PL을 배웠습니다. 그러나, 내가 잃어버린 것을보기 위해 도약 할 시간이라고 생각했습니다. 불행히도, 내가 찾을 수있는 소스 중 어느 것도 유형 시스템이나 프로그래밍에 연결되지 않는 것 같습니다. 그들은 말 …
4
그래프 동형 문제가 해결 되었습니까?
Wikipedia의 그래프 isomorphism 문제 페이지는 해결되지 않은 것으로 나타납니다. 그러나 내 친구는 그래프 동형에 대한 다항식 시간 알고리즘을 지적했습니다 . 나는 논문의 추론을 따를만큼 정교하지 않다. 나는 증거와 같은 것없이 다항식 시간 알고리즘 을 시도해 보았습니다. 그러나 진행하기 전에이 문제가 성공적으로 해결되었는지 여부를 알고 싶습니다. 그렇다면 그래프 동형 문제가 해결 …
4
그룹 이론 및 공식 언어에 대한 교량 정리
수학 그룹 과 CS 공식 언어 또는 튜링 머신과 같은 다른 핵심 CS 개념 을 연관 시키거나 연결하는 자연 스럽거나 주목할만한 방법이 있습니까? 참조 / 응용 프로그램을 찾고 있습니다. 그러나 세미 그룹과 CS 언어 사이의 링크를 알고 있습니다 (즉, 유한 automata 통해 ). (반 자동화에 대한이 문헌은 "그룹-자동화"를 본 적이 …
2
사후 대응 문제의 결정 가능한 제한
포스트 대응 문제 (PCP)의 결정 불가능하다. PCP 의 경계 버전 은 -완료이며 PCP 의 표시된 버전 (두 목록 중 하나의 단어는 첫 글자가 )은 [1]에 있습니다.P S P A C EN PNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} 이 제한된 버전이 다른 문제의 일부 복잡한 결과를 증명하는 데 사용됩니까 (감소를 통해)? …
3
멀티 코어 SAT 솔버
25k 절 5k 변수 SAT 문제를 해결하려고합니다. 한 시간 동안 실행되어 (precosat) 나중에 더 큰 것을 풀고 싶기 때문에 멀티 코어 SAT-Solver를 찾고 있습니다. 많은 SAT-Solvers가있는 것처럼 나는 상당히 길을 잃었습니다. 누구든지 내 사건에 가장 적합한 것을 지적 할 수 있습니까? 누군가가 나에게 대략적인 시간을 줄 수 있다면 기쁠 것입니다 …
2
양방향 DFA에 대한 공허 문제의 복잡성은 무엇입니까?
양방향 DFA의 공허함을 결정하는 데 시간 복잡성이 무엇인지 궁금합니다. 즉, 읽기 전용 입력 테이프에서 뒤로 이동할 수있는 유한 오토마타. Wikipedia에 따르면 DFA와 동일하지만 동등한 DFA는 기하 급수적으로 클 수 있습니다. 나는 보완 및 교차로에 대한 국가의 복잡성을 발견했지만 공허 테스트에 대해서는 아닙니다. 아무도 내가 이것을 찾을 수있는 종이를 알고 있습니까?
1
프로그래밍 언어 시맨틱 프로토 타이핑 도구
프로그래밍 언어 시맨틱 및 유형 시스템을 프로토 타이핑하는 도구가 있습니까? 또한 유형 건전성과 같은 표준 속성을 검사 할 수있는 도구가 있습니까? 나는 Alloy에 관한 책을 읽고 있기 때문에 내가 원하는 정확한 기능을 제공하지만 관계형 논리를 사용하여 표현 된 모델에 대해 이것을 요구하고 있습니다. Ott에 대해 알고 있지만 이러한 유형의 "모델 …
1
NP- 하드 문제가 평균 다항식 일 수 있습니까?
평균적으로``다항식 ''인 hard 문제 가 있는지 궁금합니다 .이를 해석하는 두 가지 방법이 있다고 생각합니까?NPNPNP 만약 , 해결 알고리즘이있을 수 시간 실행 상각 (평균 케이스)와 -hard 문제가 일정에 대한 ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk 또는 에있는 hard 문제가 있습니까?NPNPNPBPPBPPBPPPPPPPP 누구든지이 질문들 중 하나에 대한 답변을하거나 참조를 제공 할 수 있습니까?
3
논리와 계산에 관한 입문서
Logic and Computation 에 대한 좋은 입문서 (그러나 포괄적)에 대한 제안을 해 주 시겠습니까? 내가 염두에두고있는 퍼지 주제는 다음과 같습니다. Presburger artihm., PA, ZF, ZFC, HOL 이론 설정, 유형 이론 다른 이론의 모델링 계산 (튜닝 머신) 계산 복잡성 (FMT, 설명 복잡성)과 연결
1
FPTAS의 모든 문제가 FPT에도있는 이유는 무엇입니까?
다항식 시간 근사 방식에 대한 Wikipedia 기사에 따르면 : FPTAS의 모든 문제는 고정 매개 변수 다루기 쉽습니다. 이 결과는 놀랍습니다.이 클래스는 서로 완전히 다른 것처럼 보입니다. FPTAS는 근사하기 쉬운 방법으로 문제를 특성화하고, FPT는 일부 매개 변수에 비해 어려움으로 문제를 특성화합니다. 불행히도, Wikipedia (현재이 질문을하는 시점)는 이에 대한 인용을 제공하지 않습니다. …
2
병목 현상 문제가있는 작업 예약
을 감안할 때 nnn 일자리 J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , 각 작업은 필요 Ti>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N 시간이 완료. 각 작업은 한 번에 하나의 작업 만 처리 할 수있는 단일 시스템 M에 의해 사전 처리 및 사후 처리되어야하며 두 단계 모두 1 단위의 시간이 필요합니다. 사전 처리 된 후, 작업 JiJiJ_i …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.