Tenemos objetos que oscilan entre dos puntos enteros, [l, r]a la velocidad de una unidad por unidad de tiempo, a partir de lel t=0. Puedes asumir l < r. Por ejemplo, si un objeto oscila [3, 6], entonces tenemos:

t=0 -> 3
t=1 -> 4
t=2 -> 5
t=3 -> 6
t=4 -> 5
t=6 -> 4
t=7 -> 3
t=8 -> 4

Etc. Pero los objetos oscilan continuamente, por lo que también tenemos t=0.5 -> 3.5y t=3.7 -> 5.3.

Dados dos objetos que oscilan entre [l1, r1], [l2, r2]determine si alguna vez hay un tiempo ttal que los dos objetos compartan la misma posición. Puede tomar l1, r1, l2, r2en cualquier formato conveniente y generar cualquier valor verdadero / falso.

Entradas de verdad:

[[3, 6], [3, 6]]
[[3, 6], [4, 8]]
[[0, 2], [2, 3]]
[[0, 3], [2, 4]]
[[7, 9], [8, 9]]

Entradas de falsa:

[[0, 3], [3, 5]] 
[[0, 2], [2, 4]]
[[5, 8], [9, 10]]
[[6, 9], [1, 2]]
[[1, 3], [2, 6]]

Python 2 , 69 bytes

l,r,L,R=input()
d=r-l;k=1
while(R-L)*k%d:k+=1
print r-L>=k%2*d/k<=R-l

Pruébalo en línea!

Casco , 13 bytes

VEΣUẊeTmȯ…¢mD

Toma entrada en formato [[l,r],[L,R]] . Devuelve 0para instancias falsas y un entero positivo para instancias verdaderas. Pruébalo en línea!

Explicación

Las ideas principales son

1. Una colisión solo puede ocurrir en una coordenada entera o media entera.
2. Es suficiente simular el sistema hasta que se encuentre una repetición de dos estados consecutivos.

Aquí está el código anotado.

VEΣUẊeTmȯ…¢mD  Implicit input, say [[0,2],[2,3]]
       mȯ      For both pairs do:
           mD   Double each: [[0,4],[4,6]]
          ¢     Cycle: [[0,4,0,4..],[4,6,4,6..]]
         …      Rangify: [[0,1,2,3,4,3,2,1,0,1,2..],[4,5,6,5,4,5,6..]]
      T        Transpose: [[0,4],[1,5],[2,6],[3,5],[4,4],[3,5],[2,6]..
    Ẋe         Adjacent pairs: [[[0,4],[1,5]],[[1,5],[2,6]],[[2,6],[3,5]],[[3,5],[4,4]]..
   U           Prefix of unique elements: [[[0,4],[1,5]],[[1,5],[2,6]],[[2,6],[3,5]],[[3,5],[4,4]]..[[1,5],[0,4]]]
  Σ            Concatenate: [[0,4],[1,5],[1,5],[2,6],[2,6],[3,5],[3,5],[4,4]..[1,5],[0,4]]
VE             Index of first pair whose elements are equal (or 0 if not found): 8

JavaScript (ES6), 104100 bytes

Una implementación ingenua que solo ejecuta la simulación. Toma (a, b, c, d) como 4 variables distintas.

(a,b,c,d)=>(g=(X,Y)=>x==y|x+X==y&(y+=Y)==x||(x+=X)-a|y-c&&g(x>a&x<b?X:-X,y>c&y<d?Y:-Y))(1,1,x=a,y=c)

Casos de prueba

let f =

(a,b,c,d)=>(g=(X,Y)=>x==y|x+X==y&(y+=Y)==x||(x+=X)-a|y-c&&g(x>a&x<b?X:-X,y>c&y<d?Y:-Y))(1,1,x=a,y=c)

console.log('Truthy')
console.log(f(3, 6, 3, 6))
console.log(f(3, 6, 4, 8))
console.log(f(0, 2, 2, 3))
console.log(f(0, 3, 2, 4))
console.log(f(7, 9, 8, 9))

console.log('Falsy')
console.log(f(0, 3, 3, 5))
console.log(f(0, 2, 2, 4))
console.log(f(5, 8, 9, 10))
console.log(f(6, 9, 1, 2))

Wolfram Language (Mathematica) , 77 69 61 bytes

If[#>#3,#0[##3,#,#2],(z=GCD[x=#-#2,#3-#4])Mod[x/z,2]<=#2-#3]&

Una función pura que toma los cuatro argumentos l1, r1, l2, r2como entrada: por ejemplo, [0,3,2,4]cuando los intervalos son [0,3]y [2,4].

Pruébalo en línea!

Cómo funciona

Para obtener un punto [a,b]cercano a un punto adentro [c,d], suponiendo a<c<b<d, queremos un múltiplo impar b-adentro b-cde un múltiplo par de d-c. Si b-atiene más factores de 2que d-c, podemos hacer que esto suceda exactamente: habrá un momento en que el primer punto esté en by el segundo punto esté en c, y entonces estamos en buena forma. Si no, entonces lo mejor que podemos hacer es el MCD de b-ay d-c.

JavaScript (ES6), 89 bytes

(a,b,c,d)=>[...Array((b-=a)*(d-=c)*4)].some((g=e=>i/e&2?e-i/2%e:i/2%e,i)=>a+g(b)==c+g(d))

Toma l1,r1,l2,r2como argumentos separados. Explicación: Se garantiza que la simulación se repetirá después de las (r1-l1)*(r2-l2)*2unidades de tiempo (o un factor de la misma); gcalcula el desplazamiento del objeto apropiado después de las i/2unidades de tiempo, por lo que idebe variar hasta (r1-l1)*(r2-l2)*4.

05AB1E , 12 10 14 bytes

+4 bytes para manejar rangos negativos

Devuelve 0 si es falso o un entero positivo de lo contrario

Usa la idea de Zgarb de de duplicar valores para facilitar la detección de la misma posición

Gracias a @ Zacharý por señalar mis errores

ÄZU\·εXиŸ}øüQO

Pruébalo en línea!

Explicaciones:

ÄZU\·εXиŸ}øüQO 
ÄZU\            Store in X the largest absolute number in the lists
    ·           Double lists ([3,6],[4,8] => [6,12],[8,16])
     ε   }      For each...
      X             Push X
       и            List-repeat that much times ([6,12]*12 => [6,12,6,12,6,...])
        Ÿ           Rangify ([6,12,6,...] => [6,7,8,9,10,11,12,11,...])
          ø     Zip lists ([6,7,8,...],[8,9,10,...] => [6,8],[7,9],[8,10],...)
           üQ   1 if both elements of a pair are equal, 0 otherwise
             O  Sum result list (=0 if the same position is never shared)
                Implicit output

Java (OpenJDK 8) , 81 bytes

(l,r,L,R)->{int d=r-l,k=0;for(;(R-L)*++k%d>0;);return(r-L<R-l?r-L:R-l)>=k%2*d/k;}

Pruébalo en línea!

Reutilizando el algoritmo Python de xnor .