803:
563:
193:
330:
412:
423:
247:
71:
220:
91:
844:
99:
255:
345:
883:
863:
873:
837:
31:
is a result that is useful in establishing the existence of certain solutions. It was proved in 1965 by
Charles R. Hobby and
878:
762:
830:
24:
603:
partners agree that the parts have the same value. This fair-division challenge is sometimes referred to as the
628:
558:{\displaystyle \sum _{i=1}^{n+1}\delta _{i}\!\int _{z_{i-1}}^{z_{i}}g_{j}(z)\,dz=0{\text{ for }}1\leq j\leq n.}
32:
720:
572:
functions, its integral over the positive subintervals equals its integral over the negative subintervals).
868:
599:
functions is a value-density function of one partner. We want to divide the cake into two parts such that
810:
696:
655:
225:
604:
588:
814:
779:
771:
729:
686:
647:
50:
205:
76:
775:
857:
734:
715:
754:
188:{\displaystyle 0=z_{0}<\underbrace {z_{1}<\dotsb <z_{n}} <z_{n+1}=1}
20:
750:
581:
802:
325:{\displaystyle \delta _{1},\dotsc ,\delta _{k+1}\in \left\{+1,-1\right\}}
783:
700:
659:
407:{\displaystyle g_{1},\dotsc ,g_{n}\colon \longrightarrow \mathbb {R} }
691:
674:
651:
607:
problem. The Hobby–Rice theorem implies that this can be done with
755:"Consensus-halving via theorems of Borsuk-Ulam and Tucker"
818:
426:
348:
258:
228:
208:
102:
79:
53:
35:; a simplified proof was given in 1976 by A. Pinkus.
47:
of the interval as a division of the interval into
557:
406:
324:
241:
214:
187:
85:
65:
464:
679:Proceedings of the American Mathematical Society
640:Proceedings of the American Mathematical Society
417:there exists a signed partition of such that:
584:in the context of necklace splitting in 1987.
838:
646:(4). American Mathematical Society: 665–670.
73:subintervals by as an increasing sequence of
8:
685:(1). American Mathematical Society: 82–84.
631:; Rice, J. R. (1965). "A moment problem in
335:The Hobby–Rice theorem says that for every
845:
831:
675:"A simple proof of the Hobby–Rice theorem"
733:
690:
532:
519:
504:
492:
487:
474:
469:
458:
442:
431:
425:
400:
399:
372:
353:
347:
282:
263:
257:
233:
227:
207:
202:as a partition in which each subinterval
167:
148:
129:
122:
113:
101:
78:
52:
620:
7:
799:
797:
339:continuously integrable functions:
817:. You can help Knowledge (XXG) by
14:
568:(in other words: for each of the
801:
516:
510:
396:
393:
381:
1:
776:10.1016/S0165-4896(02)00087-2
763:Mathematical Social Sciences
735:10.1016/0001-8708(87)90055-7
576:Application to fair division
884:Mathematical analysis stubs
587:Suppose the interval is a
242:{\displaystyle \delta _{i}}
900:
864:Theorems in measure theory
796:
25:necklace splitting problem
16:Necklace splitting problem
595:partners and each of the
580:The theorem was used by
23:, and in particular the
721:Advances in Mathematics
222:has an associated sign
874:Combinatorics on words
813:–related article is a
673:Pinkus, Allan (1976).
559:
453:
408:
326:
243:
216:
189:
87:
67:
811:mathematical analysis
716:"Splitting Necklaces"
560:
427:
409:
327:
244:
217:
190:
88:
68:
879:Theorems in analysis
424:
346:
256:
226:
206:
100:
77:
51:
714:Alon, Noga (1987).
499:
66:{\displaystyle n+1}
555:
465:
404:
322:
239:
212:
185:
158:
83:
63:
29:Hobby–Rice theorem
826:
825:
749:F.W. Simmons and
605:consensus-halving
535:
215:{\displaystyle i}
123:
86:{\displaystyle n}
891:
847:
840:
833:
805:
798:
788:
787:
759:
746:
740:
739:
737:
711:
705:
704:
694:
670:
664:
663:
638:approximation".
625:
564:
562:
561:
556:
536:
533:
509:
508:
498:
497:
496:
486:
485:
484:
463:
462:
452:
441:
413:
411:
410:
405:
403:
377:
376:
358:
357:
331:
329:
328:
323:
321:
317:
293:
292:
268:
267:
248:
246:
245:
240:
238:
237:
221:
219:
218:
213:
200:signed partition
194:
192:
191:
186:
178:
177:
159:
154:
153:
152:
134:
133:
118:
117:
92:
90:
89:
84:
72:
70:
69:
64:
899:
898:
894:
893:
892:
890:
889:
888:
854:
853:
852:
851:
794:
792:
791:
757:
748:
747:
743:
713:
712:
708:
692:10.2307/2041117
672:
671:
667:
652:10.2307/2033900
637:
627:
626:
622:
617:
578:
534: for
500:
488:
470:
454:
422:
421:
368:
349:
344:
343:
301:
297:
278:
259:
254:
253:
229:
224:
223:
204:
203:
163:
144:
125:
124:
109:
98:
97:
75:
74:
49:
48:
41:
17:
12:
11:
5:
897:
895:
887:
886:
881:
876:
871:
866:
856:
855:
850:
849:
842:
835:
827:
824:
823:
806:
790:
789:
741:
728:(3): 247–253.
706:
665:
635:
619:
618:
616:
613:
577:
574:
566:
565:
554:
551:
548:
545:
542:
539:
531:
528:
525:
522:
518:
515:
512:
507:
503:
495:
491:
483:
480:
477:
473:
468:
461:
457:
451:
448:
445:
440:
437:
434:
430:
415:
414:
402:
398:
395:
392:
389:
386:
383:
380:
375:
371:
367:
364:
361:
356:
352:
333:
332:
320:
316:
313:
310:
307:
304:
300:
296:
291:
288:
285:
281:
277:
274:
271:
266:
262:
236:
232:
211:
196:
195:
184:
181:
176:
173:
170:
166:
162:
157:
151:
147:
143:
140:
137:
132:
128:
121:
116:
112:
108:
105:
82:
62:
59:
56:
40:
37:
15:
13:
10:
9:
6:
4:
3:
2:
896:
885:
882:
880:
877:
875:
872:
870:
869:Fair division
867:
865:
862:
861:
859:
848:
843:
841:
836:
834:
829:
828:
822:
820:
816:
812:
807:
804:
800:
795:
785:
781:
777:
773:
769:
765:
764:
756:
752:
745:
742:
736:
731:
727:
723:
722:
717:
710:
707:
702:
698:
693:
688:
684:
680:
676:
669:
666:
661:
657:
653:
649:
645:
641:
634:
630:
624:
621:
614:
612:
610:
606:
602:
598:
594:
590:
585:
583:
575:
573:
571:
552:
549:
546:
543:
540:
537:
529:
526:
523:
520:
513:
505:
501:
493:
489:
481:
478:
475:
471:
466:
459:
455:
449:
446:
443:
438:
435:
432:
428:
420:
419:
418:
390:
387:
384:
378:
373:
369:
365:
362:
359:
354:
350:
342:
341:
340:
338:
318:
314:
311:
308:
305:
302:
298:
294:
289:
286:
283:
279:
275:
272:
269:
264:
260:
252:
251:
250:
234:
230:
209:
201:
182:
179:
174:
171:
168:
164:
160:
155:
149:
145:
141:
138:
135:
130:
126:
119:
114:
110:
106:
103:
96:
95:
94:
80:
60:
57:
54:
46:
38:
36:
34:
30:
26:
22:
819:expanding it
808:
793:
767:
761:
744:
725:
719:
709:
682:
678:
668:
643:
639:
632:
629:Hobby, C. R.
623:
608:
600:
596:
592:
591:. There are
586:
579:
569:
567:
416:
336:
334:
199:
197:
44:
42:
33:John R. Rice
28:
18:
784:10419/94656
39:The theorem
21:mathematics
858:Categories
615:References
770:: 15–25.
582:Noga Alon
547:≤
541:≤
479:−
467:∫
456:δ
429:∑
397:⟶
379::
363:…
312:−
295:∈
280:δ
273:…
261:δ
231:δ
198:Define a
156:⏟
139:⋯
93:numbers:
45:partition
43:Define a
753:(2003).
751:F.E. Su
701:2041117
660:2033900
699:
658:
611:cuts.
27:, the
809:This
758:(PDF)
697:JSTOR
656:JSTOR
815:stub
589:cake
161:<
142:<
136:<
120:<
780:hdl
772:doi
730:doi
687:doi
648:doi
601:all
19:In
860::
778:.
768:45
766:.
760:.
726:63
724:.
718:.
695:.
683:60
681:.
677:.
654:.
644:16
642:.
249::
846:e
839:t
832:v
821:.
786:.
782::
774::
738:.
732::
703:.
689::
662:.
650::
636:1
633:L
609:n
597:n
593:n
570:n
553:.
550:n
544:j
538:1
530:0
527:=
524:z
521:d
517:)
514:z
511:(
506:j
502:g
494:i
490:z
482:1
476:i
472:z
460:i
450:1
447:+
444:n
439:1
436:=
433:i
401:R
394:]
391:1
388:,
385:0
382:[
374:n
370:g
366:,
360:,
355:1
351:g
337:n
319:}
315:1
309:,
306:1
303:+
299:{
290:1
287:+
284:k
276:,
270:,
265:1
235:i
210:i
183:1
180:=
175:1
172:+
169:n
165:z
150:n
146:z
131:1
127:z
115:0
111:z
107:=
104:0
81:n
61:1
58:+
55:n
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.