«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

7
컴퓨터 과학에서 게임 이론의 응용?
컴퓨터 과학 학생으로서 저는 게임 이론을 소개 받았지만 주제에 대해서는 자세히 보지 못했습니다. Google에서 검색하여 게임 이론에 대한 책을 보았으며 컴퓨터 과학에서의 사용에 대한 확인을 제공했습니다. 나는 경제학자의 관점에서 게임 이론에 대한 공식적인 연구를 시작했다. 이제 컴퓨터 과학에서 게임 이론의 응용을 알고 싶습니다. 게임 이론의 요소를 활용하는 인공 지능 및 …

7
수학적 분석과 계산의 복잡성?
계산 복잡성에는 많은 양의 조합론과 수 이론, 확률론의 일부 무분별 함, 새로운 대수학이 포함됩니다. 그러나 저는 분석 분야이기 때문에이 분야에 분석을 적용 할 수 있는지 아니면 분석에서 영감을 얻은 아이디어가 있는지 궁금합니다. 이것에 약간 일치하는 것은 유한 그룹의 푸리에 변환입니다. 도와주세요?

2
함수형 프로그래밍의 차이점 목록
질문 오카 사키 이후 순수하게 기능적인 데이터 구조의 새로운 점은 무엇입니까? , 및 jbapple의 장대 한 답변은 함수 프로그래밍 (논리 프로그래밍과 달리)에서 차이점 목록을 사용하여 언급 한 것으로 최근에 관심을 보였습니다. 이로 인해 Haskell 의 차이점 목록 구현 을 찾을 수 있었습니다. 두 가지 질문이 있습니다 (StackExchange에서 두 가지 다른 …

2
유 방향 그래프에서 정점 분리 사이클 쌍
한 쌍의 정점 분리 사이클로 방향 그래프를 인식 할 수있는 가장 빠른 알려진 결정 론적 알고리즘은 무엇입니까? 최소 3 도의 그래프는 항상 그러한 쌍 ( Thomassen '83 )을 가지고 있지만 일반적인 경우에는 효율적인 알고리즘을 찾을 수 없다는 것을 알고 있습니다. 누구든지 이것에 대한 참조를 알고 있습니까?

1
라빈의“함수 계산의 난이도와 재귀 집합의 부분 순서”
내가 찾고 있어요: Michael O. Rabin, "함수 계산의 어려움과 재귀 집합의 부분 순서 정도", 히브리 대학교, 예루살렘, 1960 요약: “우리는 주어진 계산 가능한 (재귀) 함수를 계산하는 작업에 내재 된 작업량을 측정하려고합니다. 컴퓨팅의 난이도에 대한 개념이 소개되고 연구됩니다. 이 개념은 문제의 기능을 계산하는 데 사용되는 이상적인 컴퓨터 (Turing Machines)와 독립적이라는 의미에서 …


1
“뱀”재구성 문제
비디오 게임의 복잡성에 대한 작은 글을 쓰는 동안 Nibbler 와 Snake ; 둘 다 평면 그래프에서 재구성 문제로 모델링 될 수 있음을 발견했습니다. 모션 계획 영역에서 이러한 문제가 잘 연구되지 않은 것 같습니다 (예 : 연결된 캐리지 또는 로봇 체인 상상). 게임은 잘 알려져 있지만 관련 재구성 모델에 대한 간단한 …

1
어려운 확장 성 문제
확장 성 문제에서는 솔루션의 일부가 제공되며 솔루션을 완전한 솔루션으로 확장 할 수 있는지 여부를 결정하려고합니다. 일부 확장 성 문제는 효율적으로 해결할 수있는 반면 다른 확장 성 문제는 쉬운 문제를 어려운 것으로 변환합니다. 예를 들어, Konig-Hall 정리는 모든 3 차 이분 그래프가 3 가장 색을 칠할 수 있지만 일부 가장자리의 색이 …

1
PARTITION의 또 다른 변형
특정 파티션 문제로 다음과 같은 파티션 문제가 줄었습니다. 입력 : 양의 정수 목록 감소하지 않는 순서).a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n 질문 : 합니까는 벡터가 존재 (x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n 그러한 ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} 두 번째 조건이 없으면 단지 PARTITION이므로 NP-hard입니다. 그러나 두 번째 조건은 많은 추가 정보를 제공하는 것으로 보입니다. …

1
두 개의 동전을 구별
잘 구별의 복잡성 것으로 알려져있다 공정의 하나 바이어스 동전은 θ ( ε - 2 ) . p 코인과 p + ϵ 코인 을 구별 한 결과가 있습니까? p = 0 의 특수한 경우 복잡도가 ϵ - 1 인 것을 알 수 있습니다. p 가 ϵ 정도 인지에 따라 복잡성이 결정 …

2
라스 베이거스 vs 몬테카를로 무작위 의사 결정 트리 복잡성
배경: 의사 결정 트리 복잡성 또는 쿼리 복잡성은 다음과 같이 정의 된 간단한 계산 모델입니다. 하자 있을 부울 함수. 로 표시된 의 결정 론적 쿼리 복잡도 는 결정 론적 알고리즘에 의해 (더 나쁜 경우) 읽어야 하는 입력 의 최소 ​​비트 수 입니다. 계산합니다 . 복잡성의 척도는 읽은 입력의 비트 수입니다. …

1
비대칭 그래프의 동형 테스트
질문을 읽는 동안 솔루션의 독창성으로 인해보다 쉽게 ​​찾을 수있는 예가 떠오르는 새로운 질문이 떠 올랐습니다. 실제로 그래프 동형화 ( ) 문제가 P에 있는지 알 수 없습니다 .G IGIGI피PP 그러나 만약 우리가 과 G 2 가 모두 비대칭 적이 라고 가정한다면 (즉, 둘 다 사소한 (동일성)자가 형성만을 가짐) 어떻게 될까요? 문제가 …

1
정규 언어 사이의 거리
나는 의 유한 단어의 두 정규 언어 Σ∗Σ∗\Sigma^*와 무한 단어 사이에 "친밀 성"이라는 개념을 정의하고 싶습니다 ΣωΣω\Sigma^\omega. 기본 개념은 두 단어가 많은 단어로 다르지 않은 경우 두 언어가 가까이 있기를 원한다는 것입니다. 우리는 어떤 방법으로 편집 거리를 사용할 수도 있습니다 ...이 문제에 대한 좋은 참고 자료를 찾을 수 없었습니다. 나는 …

2
이동 조작으로 거리 편집
동기 부여 : 공동 저자가 원고를 편집하고 편집 내용을 명확하게 요약하고 싶습니다. 도구 -like 모든 "DIFF는"당신이 경우에 쓸모없는 경향이 모두 주위에 텍스트를 이동 (예를 들어, 다시 조직 구조) 및 지역 편집을하고. 제대로 이해하기가 정말 어렵습니까? 정의 : 허용되는 작업이 다음과 같은 최소 편집 거리를 찾고 싶습니다. "저렴한"작업 : 단일 문자 …

2
총의 존재 하는가
그것은 쉽게 볼 수 있습니다 그 경우 다음 거기에 총 문제를 검색 다항식 시간에 해결할 수없는 (기준 총 검색 문제를 만들 회원 증인과 비회원 증인 모두).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} 대화도 마찬가지입니까, 즉 다항식 시간에 해결할 수없는 총 검색 문제가 합니까?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.