Content deleted Content added
m hunderds->hundreds - Fix a typo in one click Tags: Mobile edit Mobile web edit Advanced mobile edit |
m →Variants: Fixing archives for YouTube videos (WP:Link_Rot, WP:CEFC#Pre-emptive_archiving, phab:T294880) |
||
Line 27:
The '''4-partition problem''' is a variant in which ''S'' contains ''n'' = 4 ''m'' integers, the sum of all integers is ''m T'', and the goal is to partition it into ''m'' quadruples, all with a sum of ''T''. It can be assumed that each integer is strictly between ''T''/5 and ''T''/3.
The '''ABC-partition problem''' is a variant in which, instead of a set ''S'' with 3 ''m'' integers, there are three sets ''A'', ''B'', ''C'' with ''m'' integers in each. The sum of numbers in all sets is ''m T''. The goal is to construct ''m'' triplets, each of which contains one element from A, one from B and one from C, such that the sum of each triplet is ''T''. <ref>{{Cite web|last=Demaine|first=Erik|date=2015|title=MIT OpenCourseWare - Hardness made Easy 2 - 3-Partition I|url=https://www.youtube.com/watch?v=ZaSMm2xvatw |archive-url=https://ghostarchive.org/varchive/youtube/20211214/ZaSMm2xvatw |archive-date=2021-12-14 |url-status=live|website=Youtube}}{{cbignore}}</ref> This problem can be reduced to 3-partition as follows. Construct a set S containing the numbers 1000''a''+100 for each ''a'' in A; 1000''b''+10 for each ''b'' in B; and 1000''c''+1 for each ''c'' in C. Every solution of the ABC-partition instance induces a solution of the 3-partition instance with sum 1000''(a+b+c)''+111 = 1000''T''+111. Conversely, in every solution of the 3-partition instance, all triplet-sums must have the same hundreds, tens and units digits, which means that they must have exactly 1 in each of these digits. Therefore, each triplet must have exactly one number of the form 1000''a''+100, one 1000''b''+10 and one 1000''c''+1. Hence, it induces a solution to the ABC-partition instance.
* The ABC-partition problem is also called '''[[Numerical 3-dimensional matching|numerical 3-d matching]]''', as it can also be reduced to the [[3-dimensional matching]] problem: given an instance of ABC-partition, construct a tripartite hypergraph with sides A, B, C, where there is an hyperedge (a, b, c) for every three vertices in A, B, C such that a+b+c = ''T''. A matching in this hypergraph corresponds to a solution to ABC-partition.
| |||