同じロジックだが、GoだとWAになる [Atcoder]

Question

Goの勉強がてら、atcoderで一度pythonで解いた問題をGoで解き直しています。

下記の問題を解いていたところ、ロジックは同じにも関わらず、なぜかGoだといくつかのテストケースでWAがでてしまい、思い当たる改善部分がなく途方にくれています。
（問題に正解したいのではなく、同じロジックなのになぜGoの方は通らないのか理解したいです）

C - Build Stairs
https://atcoder.jp/contests/abc136/tasks/abc136_c

package main

import (
"bufio"
"fmt"
"math/big"
"os"
"strconv"
"strings"
)

var sc = bufio.NewScanner(os.Stdin)
var out = bufio.NewWriter(os.Stdout)

func nextLine() string {
	sc.Scan()
	return sc.Text()
}

func nextInt() uint64 {
	sc.Scan()
	i, e := strconv.ParseUint(sc.Text(), 10, 64)
	if e != nil {
		panic(e)
	}
	return i
}

func uint64Array(arr []string) (newArr []uint64) {
	for i, _ := range arr {
		n, _ := strconv.ParseUint(arr[i], 10, 64)
		newArr = append(newArr, n)
	}
	return
}

func main() {
	_ = int(nextInt())
	L := uint64Array(strings.Split(nextLine(), " "))

	for i := len(L)-1; i > 0; i-- {
		if L[i-1] > L[i] {
			if L[i-1] -= 1; L[i-1] > L[i] {
				fmt.Println("No")
				os.Exit(0)
			}
		}
	}

	fmt.Println("Yes")
}

このpythonのcodeでは無事ACになります。

import sys
sys.setrecursionlimit(20000000)
input = sys.stdin.readline

def main():
    n = int(input())
    nums = list(map(int, input().split()))

    for x in reversed(range(1, len(nums))):
        if nums[x-1] > nums[x]:
            nums[x-1] -= 1

        if nums[x-1] > nums[x]:
            print('No')
            sys.exit()

    print('Yes')


if __name__ == '__main__':
    main()

まだGoに関して理解できていない挙動があるのではないかとモヤモヤしています。
わかる方よろしくお願いします。

Answer 1

いくつかコードを投げて失敗したテストケースの特徴を調べてみたところ、答えが”No"かつ問題サイズがある程度大きいもので失敗しているようだったので詳しく見てみると、Goの仕様上sc.Text()で読み込める長さが相当短いようで、入力の2行目がちゃんと読み取れていないことが原因のようです。

Comments

[berliner]

ありがとうございます！ inputが正しくできていないとはまったく気が付きませんでした。
実はこの問題以外でも、合ってるはずなのにいくつかのテストケースでWAやREでてしまうことがありまして、途方に暮れていたのですが、これで納得がいきました。

本当に助かりました、ありがとうございます。

Answer 2

「"math/big"をインポートしているのに使っていない。」でしょうか。

Comments

[berliner]

ご回答ありがとうございます。

実はコード内には他にも問題を解くためのfuncを定義しており、math/bigは以下のような形で使っております。

```go
func gcd(m, n uint64) uint64 {
x := new(big.Int)
y := new(big.Int)
z := new(big.Int)
a := new(big.Int).SetUint64(m)
b := new(big.Int).SetUint64(n)
return z.GCD(x, y, a, b).Uint64()
}
```

定義済みのfuncを全て含めるとかなり長くなるので今回は省略して投稿しておりました。
わかり辛くてすみません。

また、全てのケースでREやWAになるのではなく、半数ほどは正解になるので、import系のエラーではないと考えています。

[nobonobo]

あとは実際に差異の出たサンプルデータを提供してもらえれば。

[berliner]

それが...atcoderのテストケースは全て以下にアップロートされるはずなんですが、
https://www.dropbox.com/sh/arnpe0ef5wds8cv/AAAk_SECQ2Nc6SVGii3rHX6Fa

なぜかabc133 ~ abc143あたりのファイルが欠落しており、通らないテストケースのinputを知ることができないのです...

nobonoboさんに見ていただいて、どこか見てわかるような間違った書き方をしているわけではない、とわかっただけでも安心しました。
ありがとうございます。