«sets» 태그된 질문

편집 : 이제 카테고리와 세트의 차이점에 대해 비슷한 질문을했습니다. 이 세트 이론과 어떻게 다른지 나는 (인정 하듯이 오히려 비공식) 유형 이론에 대해 읽어 때마다, 난 정말 이해할 수없는 구체적으로 . "x는 세트 X에 속한다"와 "x는 X 타입이다"라는 개념적인 차이가 있음을 이해합니다. 왜냐하면 직관적으로 세트는 객체의 모음 일 뿐이고 유형에는 특정 …

33 type-theory  sets 

어머니는 일종의 사서가되기 위해 온라인 과정을 밟고 있습니다.이 과정에서 부울 검색을 다루므로 데이터베이스를 효율적으로 검색 할 수 있지만 다음과 같은 소리가납니다. "x OR y"를 검색하면 105 000 개의 적중이 발생하지만 x 만 검색하면 80 000 개의 적중이 발생하고 y 만 검색하면 35,000 개의 적중이 발생합니다. 결합 된 개별 검색이 115 …

29 sets  counting 

제목은 질문을 말합니다. 우리는 입력으로 요소 목록을 가지고 있으며, 비교할 수 있습니다 ( 가장 큰 것을 결정하십시오 ). 어떤 요소도 같을 수 없습니다. 키 포인트: 비교는 전 이적이지 않습니다 (바위 가위를 생각하십시오) : 이것은 사실 일 수 있습니다 : A> B, B> C, C> A (여기에 유효한 답변이 없으므로 유효한 …

21 algorithms  time-complexity  sets  transitivity 

다음 작업을 지원하는 (유한 접지 세트의) 집합 모음을 유지 관리하는 데이터 구조가 있습니까? 하위 선형 실행 시간을 주시겠습니까? 빈 세트를 초기화하십시오. 세트에 요소를 추가하십시오. 두 세트가 주어지면 교차하는지보고하십시오.

21 data-structures  sets 

파티션 세분화 는 유한 객체 세트로 시작하여 세트를 점진적으로 분할하는 기술입니다. DFA 최소화와 같은 일부 문제는 파티션 세분화를 매우 효율적으로 사용하여 해결할 수 있습니다. Wikipedia 페이지에 나열된 것 이외의 파티션 세분화를 사용하여 일반적으로 해결되는 다른 문제는 모르겠습니다. 이러한 모든 문제 중 위키 백과 페이지에는 파티션 세분화를 기반으로하는 알고리즘이 선형 시간으로 …

20 algorithms  reference-request  data-structures  partitions  sets 

세트 감안할 때 세트를, 나는 세트 찾으려면 모든 설정하도록 에서 적어도 하나 개의 요소가 포함되어 . 나는 또한 싶습니다 아직이 기준을 충족하면서 하나 이상의 작은이있을 수 있지만, 가능한 몇 가지 요소로 포함하는 이 속성 (솔루션이 반드시 고유하지 않습니다).SS\mathbf{S}MMMSSSSS\mathbf{S}MMMMMMMMM 구체적인 예로, 세트가 국기 세트이고 각 플래그 에 대해 요소가 해당 국가의 …

15 algorithms  optimization  sets 

알고리즘 문제가 있습니다. 음이 아닌 n 개의 정수로 구성된 배열 (또는 집합) TTT 가 주어 집니다. 최대 세트 찾기 S 의 T를 같은 그 모든 ∈ S , ⩾ | S | .nnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| 예를 들면 다음과 같습니다. 만약에TTT = [1, 3, 4, 1, 3, 6],SSS 될 수있다 (3, …

14 algorithms  optimization  sets 

두 개의 큰 정수 세트 와 있습니다. 각 세트에는 약 백만 개의 항목이 있으며 각 항목은 최대 10 자리 길이의 양의 정수입니다. ㅏㅏA비비B 와 를 계산 가장 좋은 알고리즘은 무엇입니까 ? 다시 말해, 있지 않은 의 항목 목록을 어떻게 효율적으로 계산할 수 있습니까? 이러한 운영을 효율적으로하기 위해이 두 세트를 나타내는 …

14 algorithms  data-structures  sets 

좋아하는 책 목록이있는 10 명의 사람이 있다고 가정하겠습니다. 주어진 사람 X의 경우, X만이 좋아하는 X 책의 특별한 부분 집합을 찾고 싶습니다. 즉, X의 특별한 부분 집합에서 모든 책을 좋아하는 사람은 없습니다. 이 특수한 부분 집합을 X의 고유 한 "지문"이라고 생각합니다. 그런 세트를 찾는 접근법에 대한 제안을 부탁드립니다. (이것은 숙제 문제처럼 …

11 algorithms  sets 

이 질문에서 set과 type의 차이점이 무엇인지 물었습니다 . 이 답변은 실제로 명확 해졌습니다 (예 : @AndrejBauer). 지식에 대한 갈증으로 카테고리에 대해 같은 것을 묻는 유혹에 복종합니다. 범주 이론에 대해 읽을 때마다 (비공식적 임), 이론이 이론과 어떻게 다른지 구체적으로 이해할 수는 없습니다 . 그래서 대부분의 콘크리트 정확히 무엇을 수행하는지는 가능한 방법, …

11 sets  category-theory 

세트 파티션을 나타내는 효율적인 데이터 구조 가 있습니다 . 이러한 데이터 구조는 Union 및 Find와 같은 작업에는 시간이 복잡하지만 특히 공간 효율적이지는 않습니다. 세트의 파티션을 나타내는 공간 효율적인 방법은 무엇입니까? 가능한 출발점은 다음과 같습니다. 요소가 있는 세트 의 파티션 수 는 번째 벨 번호 인 이라는 것을 알고 있습니다. 따라서 …

11 data-structures  combinatorics  space-complexity  sets  partitions 

어떤 클래스의 CFL이 닫히는 지, 즉 어떤 세트가 CFL을 보완하는지 알아야합니다. CFL이 보수로 폐쇄되지 않았 음을 알고 있으며 P가 보수로 폐쇄되었음을 알고 있습니다. CFL PI는 CFL의 보완이 P (right?)에 포함되어 있다고 말할 수 있습니다. CFL의 보수가 P의 적절한 부분 집합인지 전체 P인지에 대한 의문이 여전히 남아 있습니다.⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

세트 데이터 유형의 구현을 찾고 있습니다. 즉, 우리는 동적 서브 세트 유지 (크기의 우주에서) 크기의 U 와SSSnnnU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu 작업 insert(x)(추가 원소 x에 SSS 등) find(x)(요소가 있는지 확인 x하는 부재 인 SSS ). 다른 작업은 신경 쓰지 않습니다. 오리엔테이션을 위해 작업중 인 …

9 data-structures  efficiency  space-complexity  sets  dictionaries