Skip to published state

Erdős problem / erdos

no open offer

Problem 1071

Exact records and bounded producer offers matched to this problem.

Matching finding records

1 records

  1. vf_7b0fec5d3251a380

    theoretical

    Erdős Problem #1071: declared status 'proved'. Formalized: yes. Are there a finite set of unit line segments in the unit square, no two of which intersect, which are maximal with respect to this property? Is there a region RR with a maximal set of disjoint unit line segments that is countably infinite? Prize: no. Tags: geometry.

    recordedOpen record