Ho incontrato un bug piuttosto strano. Il seguente piccolo pezzo di codice utilizza una matematica piuttosto semplice.ProGuard può causare calcoli errati
protected double C_n_k(int n, int k)
{
if(k<0 || k>n)
return 0;
double s=1;
for(int i=1;i<=k;i++)
s=s*(n+1-i)/i;
return s;
}
Modifica Utilizzando ProGuard può farlo andare male su alcuni dispositivi. Lo ho confermato su HTC One S Android 4.1.1 build 3.16.401.8, ma a giudicare dalle e-mail che ho ricevuto, sono interessati molti telefoni con Android 4+. Per alcuni di loro (Galaxy S3), i telefoni con marchio operatore americano sono interessati, mentre le versioni internazionali non lo sono. Molti telefoni non sono interessati.
Di seguito è riportato il codice di attività che calcola C (n, k) per 1 < = n < 25 e 0 < = k < = n. Sul dispositivo sopra menzionato la prima sessione fornisce risultati corretti, ma i lanci successivi mostrano risultati errati, ogni volta in posizioni diverse.
ho 3 domande:
Come può essere? Anche se ProGuard ha fatto qualcosa di sbagliato, i calcoli dovrebbero essere coerenti tra dispositivi e sessioni.
Come possiamo evitarlo? So che sostituire
double
conlong
va bene in questo caso, ma non è un metodo universale. L'eliminazione utilizzandodouble
o il rilascio di versioni non offuscate è fuori questione.Quali versioni di Android sono interessate? Ero abbastanza veloce con fissandola nel gioco, quindi ho solo sapere che molti giocatori hanno visto, e almeno la maggior parte aveva Android 4,0
Overflow è fuori discussione, perché a volte vedo errore nel calcolo C(3,3)=3/1*2/2*1/3
. Di solito i numeri errati iniziano da qualche parte in C (10, ...), e sembrano come se un telefono si fosse "dimenticato" di fare alcune divisioni.
I miei strumenti SDK sono 22.3 (l'ultimo) e l'ho visto in build creati da IDEA di Eclipse e IntelliJ.
codiceattività:
package com.karmangames.mathtest;
import android.app.Activity;
import android.os.Bundle;
import android.text.method.ScrollingMovementMethod;
import android.widget.TextView;
public class MathTestActivity extends Activity
{
/**
* Called when the activity is first created.
*/
@Override
public void onCreate(Bundle savedInstanceState)
{
super.onCreate(savedInstanceState);
setContentView(R.layout.main);
String s="";
for(int n=0;n<=25;n++)
for(int k=0;k<=n;k++)
{
double v=C_n_k_double(n,k);
s+="C("+n+","+k+")="+v+(v==C_n_k_long(n,k) ? "" : " Correct is "+C_n_k_long(n,k))+"\n";
if(k==n)
s+="\n";
}
System.out.println(s);
((TextView)findViewById(R.id.text)).setText(s);
((TextView)findViewById(R.id.text)).setMovementMethod(new ScrollingMovementMethod());
}
protected double C_n_k_double(int n, int k)
{
if(k<0 || k>n)
return 0;
//C_n^k
double s=1;
for(int i=1;i<=k;i++)
s=s*(n+1-i)/i;
return s;
}
protected double C_n_k_long(int n, int k)
{
if(k<0 || k>n)
return 0;
//C_n^k
long s=1;
for(int i=1;i<=k;i++)
s=s*(n+1-i)/i;
return (double)s;
}
}
main.xml:
<?xml version="1.0" encoding="utf-8"?>
<LinearLayout xmlns:android="http://schemas.android.com/apk/res/android"
android:orientation="vertical"
android:layout_width="fill_parent"
android:layout_height="fill_parent"
>
<TextView
android:layout_width="fill_parent"
android:layout_height="wrap_content"
android:id="@+id/text"
android:text="Hello World!"
/>
</LinearLayout>
Esempio di risultati di calcolo sbagliato (ricordate, è diverso ogni volta ho provato)
C(0,0)=1.0
C(1,0)=1.0
C(1,1)=1.0
C(2,0)=1.0
C(2,1)=2.0
C(2,2)=1.0
C(3,0)=1.0
C(3,1)=3.0
C(3,2)=3.0
C(3,3)=1.0
C(4,0)=1.0
C(4,1)=4.0
C(4,2)=6.0
C(4,3)=4.0
C(4,4)=1.0
C(5,0)=1.0
C(5,1)=5.0
C(5,2)=10.0
C(5,3)=10.0
C(5,4)=30.0 Correct is 5.0
C(5,5)=1.0
C(6,0)=1.0
C(6,1)=6.0
C(6,2)=15.0
C(6,3)=40.0 Correct is 20.0
C(6,4)=90.0 Correct is 15.0
C(6,5)=144.0 Correct is 6.0
C(6,6)=120.0 Correct is 1.0
C(7,0)=1.0
C(7,1)=7.0
C(7,2)=21.0
C(7,3)=35.0
C(7,4)=105.0 Correct is 35.0
C(7,5)=504.0 Correct is 21.0
C(7,6)=840.0 Correct is 7.0
C(7,7)=720.0 Correct is 1.0
C(8,0)=1.0
C(8,1)=8.0
C(8,2)=28.0
C(8,3)=112.0 Correct is 56.0
C(8,4)=70.0
C(8,5)=1344.0 Correct is 56.0
C(8,6)=3360.0 Correct is 28.0
C(8,7)=5760.0 Correct is 8.0
C(8,8)=5040.0 Correct is 1.0
C(9,0)=1.0
C(9,1)=9.0
C(9,2)=36.0
C(9,3)=168.0 Correct is 84.0
C(9,4)=756.0 Correct is 126.0
C(9,5)=3024.0 Correct is 126.0
C(9,6)=10080.0 Correct is 84.0
C(9,7)=25920.0 Correct is 36.0
C(9,8)=45360.0 Correct is 9.0
C(9,9)=40320.0 Correct is 1.0
C(10,0)=1.0
C(10,1)=10.0
C(10,2)=45.0
C(10,3)=120.0
C(10,4)=210.0
C(10,5)=252.0
C(10,6)=25200.0 Correct is 210.0
C(10,7)=120.0
C(10,8)=315.0 Correct is 45.0
C(10,9)=16800.0 Correct is 10.0
C(10,10)=1.0
Suoni molto improbabili. Hai provato a registrare ogni valore di 's' in quel ciclo per capire come differisce il calcolo? – zapl
Qual è "corretto?" se entrambi? – DoubleDouble
FWIW, in matematica, C (12, 4) = 495. – rgettman