이론 컴퓨터 과학

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

1
Nurikabe의 복잡성은 무엇입니까?
Nurikabe 는 지뢰 찾기 / Nonograms와 거의 유사한 구속 조건 기반 그리드 채우기 퍼즐입니다. 숫자는 각 셀에 대한 켜기 / 끄기 값으로 채워질 그리드에 배치되며 각 숫자는 해당 크기의 연결된 '온'셀 영역을 나타내며 '오프'셀 영역에 대한 약간의 제약 조건이 있습니다. 연결되어 있어야하며 인접한 2x2 영역을 포함 할 수 없습니다). Wikipedia …
2
조건부 논리를 기반으로하는 프로그래밍 언어에 대한 참조
조건부 논리는 다른 조건 개념 (예 : 인과 조건부 A)에 해당하는 모달 연산자를 사용하여 기존의 논리적 인 의미를 보강하는 논리입니다 " A 는"B "또는 확률 적 조절" A | B "," A given B ").A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB 일반적으로 이러한 논리는 이론적으로 모델 적으로 연구되지만 프로그래밍 언어 설계 (예 : 명령형 …
4
유한 모델 찾기
나는 "1 차 공식 에 모델이있다"라는 질문은 일반적으로 결정 불가능 하다는 것을 안다 .ϕϕ\phi 누구든지 유한 모델에 대한 답변을 제공하는 링크 나 책을 줄 수 있습니까? 1 차 수식 가있는 경우 에 유한 모델이 있는지 여부를 결정할 수 있습니까? 나는 그 질문이 잘 알려져 있다고 확신하지만 답을 찾기 위해 어디서부터 …
3
정규 그래프와 동형
이미 게시 된 결과가 있는지 묻고 싶습니다. 우리는 연결된 두 개의 정규 (그래서 정도 d 와 노드 수 n ) 그래프의 각 노드 쌍 사이에 가능한 모든 다른 경로를 취하고 길이를 기록합니다. 물론이 고유 경로 수는 기하 급수적입니다. 내 질문은 길이를 정렬하고 비교하면 (두 그래프로 얻은 목록) 정확히 같은 경우 …
1
SHA-1 충돌 공격에 대한 연구 현황
충돌 발견 알고리즘이 CRYPTO 2004에서 처음 발표 된 이후 SHA-1 보안이 논의되었으며 이후 개선되었습니다. Wikipedia에는 ​​몇 가지 참고 문헌 이 있지만,이 주제에 대해 발표 된 최신 연구는 2009 년에 발표 된 것 같습니다 (Cameron McDonald, Philip Hawkes 및 Josef Pieprzyk "복잡성 O (2 ^ 52)의 SHA-1에 대한 차등 경로") ). …
4
복잡성 클래스 NEXP
NEXP 문제가 있으며 지수 시간과 단 하나의 교대 (기존 상태에서 시작)를 사용하여 교대 TM으로 해결할 수도 있습니다.NPNP^{\text{NP}} NEXP 대해 알려진 것이 있습니까? NEXP 또는 다른 클래스와 동일합니까? NEXP 기계와 단어가 주어지면 일반적인 기계 이외의 다른 문제 가 있습니까?NPNPNP^{\text{NP}}NPNP^{\text{NP}}
1
PCF + timeouts에 대한 Escardó의 메트릭 의미는 완전히 추상적인가?
1999 년 워크숍 논문 "PCF의 메트릭 모델" 에서 Martín Escardó는 완전한 초음파 공간과 비 확장 맵 범주에서 PCF를 간단하게 해석 할 수 있음을 보여주었습니다. 그는이 모델이 적절하고 타임 아웃 구문 (즉, 유한 한 수의 단계에 대해 인수를 실행하는 연산자) 내에서 종료되지 않으면 응답을 생성하거나 오류를 표시하는 연산자를 추가 할 수 …
1
'반사'해시 알고리즘이 있습니까?
이론적이든 실용적이든 클래스의 알고리즘이 아래에 주어진 정의에 따라 '반사'로 간주 될 수 있도록 해시 알고리즘의 클래스가 있습니까? hash1 = algo1 ( "입력 텍스트 1") hash1 = algo1 ( "입력 텍스트 1"+ hash1) + 연산자는 알고리즘 (algo1)이 정확히 동일한 결과를 생성하도록 출력 (hash1)을 다시 입력 ( "입력 텍스트 1")으로 결합하기 위해 …
1
주어진 카디널리티의 최소 무게 하위 포리스트
이 질문은 stackoverflow에 대한 질문에 의해 동기 부여되었습니다 . 노드 ( )에 루트 트리 (즉, 루트가 있고 노드에 자식이있는 등) 가 있다고 가정하십시오 .TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n 각 정점 는 음이 아닌 정수 가중치와 관련이 있습니다 : .iiiwiwiw_i 또한 과 같은 정수 가 제공 됩니다.kkk1≤k≤n1≤k≤n1 \le k \le n 노드 …
6
컴퓨터 과학에서 그래프 이론의 적용
저는 CS 학생입니다. 우리는 한 과정에서 그래프 이론을 수행했습니다. 나는 그것을 흥미로웠다. 컴퓨터 과학 분야에서 그래프 이론의 실제 응용은 무엇입니까? 예를 들어, 그래프 이론의 일부 개념을 사용하여 네트워크를 설계 할 수 있음을 발견했습니다. 다른 유사한 응용 프로그램은 무엇입니까?
2
시끄럽지 않은 PAC의 패리티 외에 SQ에는없는 가설 클래스가 있습니까?
Angluin and Laird ('88) 는 모델 "임의 분류 잡음이있는 PAC"(또는 잡음이있는 PAC)에서 무작위로 손상된 데이터로 학습을 공식화했습니다 . 이 모델은 비슷 학습 PAC 확률로 독립적으로 임의로 손상 (대칭)되어 학습자에게 주어진 실시 예의 레이블 제외 .η&lt;1/2η&lt;1/2\eta < 1/2 잡음이 많은 PAC 모델에서 학습 가능한 것을 특성화하기 위해 Kearns ('93) 는 학습을위한 …
1
특수 알고리즘으로 SAT 솔버의 경쟁력 강화
SAT 솔버를 특수 그래프 알고리즘과 경쟁적으로 만드는 데 어떤 장애물이 있습니까? 다시 말해, 알고리즘 디자이너의 역할을 대체 할 수있는 SAT 솔버를 예상 할 수 있습니까? 즉, 문제 구조를 자동으로 인식 한 후 특수 알고리즘만큼 빨리 해결할 수 있습니까? 다음은 오늘날의 SAT 솔버에게 도전적인 몇 가지 예입니다. 크기 의 독립 세트를 …
1
NP- 완전 문제에 비슷한 근사치 비율이없는 이유는 무엇입니까?
2 개의 NP- 완전 문제는 정의상 서로 환원 될 수 있기 때문에, 다른 하나를 해결하는 블랙 박스를 사용하여 그 중 하나에 대한 해를 얻을 수 있습니다. )? 일부 상수 또는 다항식 드리프트는 이해할 수 있다고 생각하지만 일부 NP- 완전 문제에 대한 상수 계수 근사 알고리즘과 다항식 비율 근사 알고리즘으로 근사 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.