오토 마톤 알고리즘의 경우, 기능적 언어로 빠른 Union-Find 데이터 구조가 필요합니다. 데이터 구조의 정확성을 공식적으로 입증해야하므로 간단한 구조를 선호합니다. 내가하려고 시도한 것은 S w.r.t. 요소의 등가 클래스를 계산하는 것입니다. 관계 R ⊆ S × S. 최종적으로 나가기를 원하는 것은 S의 요소를 R 동급 클래스의 (정식) 대표자로 매
자바는 Comparator<T> 클래스를 외부의 객체 비교를 제공하여 비교를 수행하는 복수/대체 방법을 허용합니다. 는 그러나 정렬되지 않은 비교를하는 유일한 표준 방법은 클래스 내 equals()을 무시하는 것입니다. 여러 외부 정렬되지 않은 비교를 제공하려면 어떻게해야합니까? (명백한 유스 케이스는 특정 속성에 기초하여 등가 클래스로 컬렉션을 구획한다.
나는이 주제를 이해하려고 노력하고 있으며, 아주 기본적인 하나 (이산 도메인이 아닌)로 시작하고있다. 나는 이것이 정확하지 않다고 생각한다. Income is greater than 0 and lesser than 500 = tax 0
Income is greater than 500 and lesser than 1300 = tax 30
Income is
어이 남자는 소프트웨어 테스트 모듈을 가지고 있으며 곧 끝날 예정이지만 약간의 문제가있어 그 중 일부를 머리에 새기고 작년에 묻는 질문은 입니다. 큰 운동 단체는 회의에 전화하기 위해 이메일 시스템에 추가 기능을 사용합니다. 날짜 + 기간 + 위치 + : 그렇게 만 할 수있는 권한이 회원은 회의를 소집하기 위해 제목 줄에 다음과 같은 데이터가 포함 된 이메