以下是使用C语言实现的代码：

#include <stdio.h>
#include <stdlib.h>

int main() {
    int n, k;
    scanf("%d", &n); // 输入字符串长度n
    char s[n];
    scanf("%s", s); // 输入字符串s
    scanf("%d", &k); // 输入初始体力值k

    int i, energy = k;
    for (i = 0; i < n - 1; i++) {
        int diff = abs(s[i + 1] - s[i]); // 计算相邻字符的差值
        energy -= 8 * (i + 1); // 消耗体力值
        if (energy < 0) {
            printf("-1  
"); // 体力值不足，无法继续走
            return 0;
        }
        energy += diff; // 恢复体力值
    }

    printf("%d  
", energy); // 输出剩余体力值
    return 0;
}

使用该代码，你可以输入字符串的长度n、字符串s和初始体力值k，然后判断小红能否从s1走到sn，并输出剩余体力值。如果体力值不足，输出-1。